1 files changed, 36 insertions, 0 deletions
diff --git a/coqprime/gencertif/Makefile b/coqprime/gencertif/Makefile
new file mode 100644
index 000000000..c7c062f8d
--- /dev/null
+++ b/coqprime/gencertif/Makefile
@@ -0,0 +1,36 @@
+ECMDIR=/usr/lib/
+
+OPT=
+CC=gcc
+
+CFIRSTPRIMES=certif.c factorize.c firstprimes.c
+OFIRSTPRIMES=$(CFIRSTPRIMES:.c=.o)
+
+CPOCK=certif.c factorize.c pocklington.c
+
+OPOCK=$(CPOCK:.c=.o)
+
+pock: $(OPOCK)
+	$(CC) -g -O2  -o pocklington $(OPOCK) -lecm -lgmp -lm 
+
+first: $(OFIRSTPRIMES)
+	$(CC) -g -O2 -o firstprimes $(OFIRSTPRIMES) -lecm -lgmp -lm
+
+all:   
+	make pock
+	make first
+	make o2v
+
+clean:
+	rm -f *~ *.o pocklington firstprimes o2v
+
+
+.SUFFIXES: .v .vo .c .o
+
+.c.o:
+	$(CC) -I$(GMPDIR) -I$(ECMDIR) -Wall -pedantic -c $<
+
+o2v: parser.ml
+	ocamlc -o o2v nums.cma str.cma parser.ml
+
+