From 2706544cf000a6f9875e81f86d885d4dc68dfb23 Mon Sep 17 00:00:00 2001 From: Thomas Letan Date: Thu, 10 Dec 2020 14:15:24 +0100 Subject: Add a Series on coqffi, and the first literate program of this blog --- site/cleopatra/literate-programming.org | 42 +++++++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) create mode 100644 site/cleopatra/literate-programming.org (limited to 'site/cleopatra/literate-programming.org') diff --git a/site/cleopatra/literate-programming.org b/site/cleopatra/literate-programming.org new file mode 100644 index 0000000..7310864 --- /dev/null +++ b/site/cleopatra/literate-programming.org @@ -0,0 +1,42 @@ +#+BEGIN_EXPORT html +

Literate Programming Projects

+#+END_EXPORT + +#+BEGIN_SRC makefile :tangle literate-programming.mk +literate-programming-prebuild : + @cleopatra echo "Tangling" "literate programming project" + @cleopatra exec -- cleopatra-run-elisp export-lp.el >> build.log + +org-build : literate-programming-build + +COQFFI_ARCHIVE := site/files/coqffi-tutorial.tar.gz + +coqffi-tutorial-build : literate-programming-prebuild + @cleopatra echo "Building" "coqffi tutorial" + @cd lp/coqffi-tutorial; dune build --display quiet + @cleopatra echo "Archiving" "coqffi tutorial" + @rm -f ${COQFFI_ARCHIVE} + @tar --exclude="_build" -czvf ${COQFFI_ARCHIVE} lp/coqffi-tutorial >> build.log + +literate-programming-build : coqffi-tutorial-build + +ARTIFACTS += lp/ ${COQFFI_ARCHIVE} site/posts/deps.svg + +#+END_SRC + +#+BEGIN_SRC emacs-lisp :tangle export-lp.el +(cleopatra:configure) + +(org-babel-do-load-languages + 'org-babel-load-languages + '((shell . t))) + +(setq org-publish-project-alist + '(("lp" + :base-directory "site/posts" + :publishing-directory "lp" + :recursive t + :publishing-function cleopatra:tangle-publish))) + +(org-publish-all) +#+END_SRC -- cgit v1.2.3