gencertif update

thery · Jan 14, 2020 · f38fff8 · f38fff8
1 parent cb37289
commit f38fff8
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 561 deletions.
diff --git a/gencertif/Makefile b/gencertif/Makefile
@@ -10,19 +10,20 @@ CPOCK=certif.c factorize.c pocklington.c
 
 OPOCK=$(CPOCK:.c=.o)
 
+all:   
+	make pock
+	make first
+	make o2v
+
 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
+	rm -f *~ *.o *.cmo *.cmi pocklington firstprimes o2v 
 
 
 .SUFFIXES: .v .vo .c .o