adding local makefile for ccomp, with ccomp flags

1 files changed, 62 insertions, 0 deletions

diff --git a/test/picosat-965/Makefile.local b/test/picosat-965/Makefile.local
new file mode 100644
index 00000000..9db5dfac
--- /dev/null
+++ b/test/picosat-965/Makefile.local
@@ -0,0 +1,62 @@
+include ../../Makefile.config
+
+CC=../../ccomp 
+CFLAGS=$(CCOMPOPTS) -stdlib ../../runtime -dparse -dclight -dasm -fstruct-return -fbitfields $(SSA_MODE)
+
+all: picosat picomcs picomus picogcnf libpicosat.a
+
+clean:
+	rm -f picosat picomcs picomus picogcnf
+	rm -f *.exe *.s *.o *.a *.so *.plist
+	rm -f makefile config.h
+	rm -f *.o *.s *.parsed.c *.light.c *.sdump
+	rm -f gmon.out *~ 
+
+analyze:
+	clang --analyze $(CFLAGS) *.c *.h
+
+picosat: libpicosat.a app.o main.o
+	$(CC) $(CFLAGS) -o $@ main.o app.o -L. -lpicosat
+
+picomcs: libpicosat.a picomcs.o
+	$(CC) $(CFLAGS) -o $@ picomcs.o -L. -lpicosat
+
+picomus: libpicosat.a picomus.o
+	$(CC) $(CFLAGS) -o $@ picomus.o -L. -lpicosat
+
+picogcnf: libpicosat.a picogcnf.o
+	$(CC) $(CFLAGS) -o $@ picogcnf.o -L. -lpicosat
+
+app.o: app.c picosat.h makefile
+	$(CC) $(CFLAGS) -c $<
+
+picomcs.o: picomcs.c picosat.h makefile
+	$(CC) $(CFLAGS) -c $<
+
+picomus.o: picomus.c picosat.h makefile
+	$(CC) $(CFLAGS) -c $<
+
+picogcnf.o: picogcnf.c picosat.h makefile
+	$(CC) $(CFLAGS) -c $<
+
+main.o: main.c picosat.h makefile
+	$(CC) $(CFLAGS) -c $<
+
+picosat.o: picosat.c picosat.h makefile
+	$(CC) $(CFLAGS) -c $<
+
+version.o: version.c config.h makefile
+	$(CC) $(CFLAGS) -c $<
+
+config.h: makefile VERSION mkconfig.sh # and actually picosat.c
+	rm -f $@; ./mkconfig.sh > $@
+
+libpicosat.a: picosat.o version.o
+	ar rc $@ picosat.o version.o
+	ranlib $@
+
+SONAME=-Xlinker -soname -Xlinker libpicosat.so
+libpicosat.so: picosat.o version.o
+	$(CC) $(CFLAGS) -shared -o $@ picosat.o version.o $(SONAME)
+
+.PHONY: all clean