@@@ utils/: Add Pocklington proofs for important prime numbers.
[catacomb] / utils / findpock.mk
1 ### -*-makefile-*-
2
3 FACTORS := $(shell seq -f"q%g" 0 $$(expr $(NFACTORS) - 1))
4
5 all: $(addprefix $(GROUP).d/,$(FACTORS)) $(GROUP).d/final
6 { echo ";;; -*-conf-windows-*-" && \
7 echo && \
8 echo "sievebits 32" && \
9 echo && \
10 grep -h '^small' $+ | sort -k4n -u && \
11 for q in $(FACTORS); do echo; grep '^[^s]' $(GROUP).d/$$q; done && \
12 echo && \
13 grep '^[^s]' $(GROUP).d/final; }
14
15 $(addprefix $(GROUP).d/,$(FACTORS)): $(GROUP).d/%:
16 @mkdir -p $(GROUP).d/
17 ./findpock.sage $* $($*) >$@.new && mv $@.new $@
18
19 $(GROUP).d/final:
20 @mkdir -p $(GROUP).d/
21 ./findpock.sage p 0 $(foreach q,$(FACTORS),$($q)) >$@.new && mv $@.new $@
22
23 show:; : $x