blob: 42b1bab673ba5b1ae7fb1ce7584fa43259209e12 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
literate-programming-prebuild : org-prebuild
@scripts/pretty-echo.sh "Tangling" "literate programming project"
@${EMACS} --"load=scripts/export-lp.el"
ARTIFACTS += lp/ site/posts/deps.svg
COQFFI_ARCHIVE := site/files/coqffi-tutorial.tar.gz
coqffi-tutorial-build : literate-programming-prebuild _opam/init
@scripts/pretty-echo.sh "Building" "coqffi tutorial"
@cd lp/coqffi-tutorial; dune build --display quiet
@scripts/pretty-echo.sh "Archiving" "coqffi tutorial"
@rm -f ${COQFFI_ARCHIVE}
@tar --exclude="_build" -C lp/ -czvf ${COQFFI_ARCHIVE} coqffi-tutorial
site/posts/CoqffiEcho.html : coqffi-tutorial-build
literate-programming-build : coqffi-tutorial-build
ARTIFACTS += ${COQFFI_ARCHIVE}
|