#1
  1. No Profile Picture
    Contributing User
    Devshed Newbie (0 - 499 posts)

    Join Date
    Jun 2005
    Posts
    227
    Rep Power
    0

    Exclamation Cd { dir1 | dir2 } not working


    Hi,

    In build instructions of minisat, a SAT solver, following commands are written:
    Code:
    export MROOT=<minisat-dir>              (or setenv in cshell)
    cd { core | simp }
    gmake rs
    cp minisat_static <install-dir>/minisat
    The directory structure is as follows:
    Code:
    /minisat/core
    /minisat/simp
    /minisat/utils
    /minisat/a-couple-other-dirs
    But both, bash and csh give error on the 'cd' command. I am executing the command in main 'minisat' directory. I don't recall seeing this command used like this.
    This is the error I get:
    Code:
    bash: cd: {: No such file or directory
    bash: simp: command not found


    Could you please tell me whats wrong?
    Last edited by speedbooster; January 17th, 2014 at 10:55 PM.
  2. #2
  3. Did you steal it?
    Devshed Supreme Being (6500+ posts)

    Join Date
    Mar 2007
    Location
    Washington, USA
    Posts
    14,072
    Rep Power
    9398
    Given context, it sounds like they mean you choose one of those directories. So "cd core" or "cd simp".

    Also, you know they're on GitHub now? I think you downloaded an old(er) version.
  4. #3
  5. No Profile Picture
    Contributing User
    Devshed Newbie (0 - 499 posts)

    Join Date
    Jun 2005
    Posts
    227
    Rep Power
    0
    Thank you, I'm using the Git source now.

IMN logo majestic logo threadwatch logo seochat tools logo