blob: c7c062f8d5ed711f3674ec479c94ae5ed4261e77 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
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
|