scallop-lang / scallop

Framework and Language for Neurosymbolic Programming.
https://www.scallop-lang.org
MIT License
208 stars 8 forks source link

Error running program using scli #1

Open RAbraham opened 1 year ago

RAbraham commented 1 year ago

Hi, I can't seem to run a scallop program?

❯ ls
hello1.scl  hello.scl  scli

❯ ./scli --help
sclrepl 0.1.4
Scallop Interactive REPL

USAGE:
    scli [FLAGS] [OPTIONS]

FLAGS:
    -d, --debug          
        --debug-back     
        --debug-front    
        --debug-ram      
    -h, --help           Prints help information
    -V, --version        Prints version information

OPTIONS:
    -p, --provenance <provenance>     [default: unit]
❯ cat hello.scl
// hello.scl
rel hello = {"Hello World"}

❯ ./scli ./hello.scl
error: Found argument './hello.scl' which wasn't expected, or isn't valid in this context

USAGE:
    scli [FLAGS] [OPTIONS]

For more information try --help

OS: Ubuntu 22.04

Liby99 commented 1 year ago

From what I can see in your snippet, What you actually executed is sclrepl (a command line interactive mode of scallop) as opposed to scli. Let me check if my distribution is uploaded with their name correct. Otherwise, you can always build from source and that'll make sure the right scli is installed.