running SAT.c

[Javid Sumayya]

hi
I am having problems in running SAT.c file.
First I compiled it by writing make
then i ran it by typing ./SAT
I get an error saying "command not found"
I have copied below exactly what I wrote.
I can't figure out what I'm doing wrong.

p12.ecf% make
gcc -c -Wall -g SAT.c
gcc main.o SAT.o SAT_given.o -o satverify
p12.ecf% ./SAT
./SAT: Command not found.

Thankx

[Sean Safarpour]

the make file has this command:
gcc main.o SAT.o SAT_given.o -o satverify

the "-o satverify" option means that the executable file is named
satverify. So to run it, you have to write "./satverify" and not "./SAT"

Sean

Post by Javid Sumayya
hi
I am having problems in running SAT.c file.
First I compiled it by writing make
then i ran it by typing ./SAT
I get an error saying "command not found"
I have copied below exactly what I wrote.
I can't figure out what I'm doing wrong.
p12.ecf% make
gcc -c -Wall -g SAT.c
gcc main.o SAT.o SAT_given.o -o satverify
p12.ecf% ./SAT
./SAT: Command not found.
Thankx