Select Git revision
Code owners
Assign users and groups as approvers for specific file changes. Learn more.
Makefile 744 B
run:
jupyter notebook
rebuild:
./gradlew shadowJar
install:
./gradlew installKernelSpec
USERNAME=
PHOME=/Users/$(USERNAME)/git_root/prob_prolog
installph:
./gradlew -PprobHome=$(PHOME) installKernelSpec
console:
jupyter console --kernel prob2
NOTEBOOKS = notebooks/tutorials/prob_solver_intro.ipynb \
notebooks/manual/ExternalFunctions.ipynb
latex:
for spec in $(NOTEBOOKS); do \
echo 'Generating Latex for: '; echo $$spec ; \
jupyter nbconvert $$spec --to latex ; \
done
echo "done"
slides:
jupyter nbconvert notebooks/presentations/SETS_RODIN18.ipynb --to slides --post serve
slidespdf:
jupyter nbconvert notebooks/presentations/SETS_RODIN18.ipynb --to latex
pdflatex notebooks/presentations/SETS_RODIN18.tex