-
Notifications
You must be signed in to change notification settings - Fork 9
/
Makefile
30 lines (26 loc) · 1.02 KB
/
Makefile
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
.PHONY: pull
pull:
docker pull --platform linux/amd64 sagemath/sagemath
.PHONY: sage
sage:
docker run -v ${PWD}:/home/sage/moonmath:ro -it sagemath/sagemath
.PHONY: notebook
notebook:
docker run -v ${PWD}:/home/sage/moonmath:ro -p8888:8888 sagemath/sagemath sage-jupyter
.PHONY: markdown
markdown:
@jupyter nbconvert --to markdown ./arithmetics/README.ipynb
@jupyter nbconvert --to markdown ./algebra/README.ipynb
@jupyter nbconvert --to markdown ./elliptic-curves/README.ipynb
@jupyter nbconvert --to markdown ./statements/README.ipynb
.PHONY: book
book:
@cp ./introduction/README.md ./.book/introduction.md
@cp ./software-used/README.md ./.book/software-used.md
@cp ./arithmetics/README.md ./.book/arithmetics.md
@cp ./algebra/README.md ./.book/algebra.md
@cp ./elliptic-curves/README.md ./.book/elliptic-curves.md
@cp ./statements/README.md ./.book/statements.md
@cp ./circuit-compilers/README.md ./.book/circuit-compilers.md
@cp ./zero-knowledge/README.md ./.book/zero-knowledge.md
mdbook build ./.book -d ./build --open