Makefile for lab3

[Hammad Imad]

first time i make a makefile. I used the one from lab2
added solve.c and solve_given.c and so on
but i deleted everything to do with gencnf
requirements were to be able to compile by typing satsolve, so is what i
have done ok?

[Alexander Smith]

Yes, your makefile only has to compile satsolve. It doesn't have to
compile gencnf, but it's ok if it does. You can assume the following files
will be in the directory when the TA types "make":

Makefile (you submit)
SAT.c (you submit)
solve.c (you submit)
SAT.h
SAT_given.c
gencnf.c
main.c
solve_given.c

Don't forget to submit SAT.c, even if you are using the reference
solution from lab 2.

Alexander

Post by Hammad Imad
first time i make a makefile. I used the one from lab2
added solve.c and solve_given.c and so on
but i deleted everything to do with gencnf
requirements were to be able to compile by typing satsolve, so is what i
have done ok?