Website reorg

1 files changed, 0 insertions, 95 deletions

diff --git a/site/cleopatra/dependencies.org b/site/cleopatra/dependencies.org
deleted file mode 100644
index 7858df4..0000000
--- a/site/cleopatra/dependencies.org
+++ /dev/null
@@ -1,95 +0,0 @@
-#+TITLE: Installing Dependencies
-
-#+SERIES: ../cleopatra.html
-#+SERIES_NEXT: ./coq.html
-
-* OCaml and Coq
-
-  #+caption: Dependencies for Coq articles
-  #+name: coq-deps
-  | Package      | Version |
-  |--------------+---------|
-  | coq          |  8.13.2 |
-  | coq-compcert |     3.8 |
-
-  #+caption: Dependencies for the ~coqffi~ series
-  #+name: lp-deps
-  | Package       |     Version |
-  |---------------+-------------|
-  | dune          |       2.9.0 |
-  | coq-coqffi    | 1.0.0~beta7 |
-  | coq-simple-io |       1.5.0 |
-
-  #+caption: Soupault
-  #+name: soupault-deps
-  | Package  | Version |
-  |----------+---------|
-  | soupault |   4.0.1 |
-
-  #+name: deps-listing
-  #+begin_src emacs-lisp :noweb yes :var coq-deps=coq-deps :var lp-deps=lp-deps :var soupault-deps=soupault-deps :results value raw :exports none
-;; We use this Emacs Lisp snippet to generate the list of dependencies
-;; we have to install with Opam
-(defun fmt-deps (d)
-  (mapconcat (lambda (d) (format "%s" d)) d "."))
-
-(string-join
- (append (mapcar 'fmt-deps lp-deps)
-         (mapcar 'fmt-deps soupault-deps)
-         (mapcar 'fmt-deps coq-deps))
- " ")
-  #+end_src
-
-  #+begin_src makefile :tangle dependencies.mk :noweb yes
-OCAML_VERSION := 4.12.0
-OCAML := ocaml-base-compiler.${OCAML_VERSION}
-
-_opam/init :
-	@cleopatra echo "Creating" "a local Opam switch"
-	@opam switch create . ${OCAML} --repos default,coq-released || true
-	@cleopatra echo "Installing" "OCaml dependencies"
-	@opam install <<deps-listing()>> -y
-	@touch $@
-
-CONFIGURE += _opam
-  #+end_src
-
-* Frontend
-
-  #+caption: Frontend dependencies
-  #+name: frontend-deps
-  | Package       | Version |
-  |---------------+---------|
-  | katex         | 0.13.13 |
-  | minify        |   7.0.2 |
-  | normalize.css |   8.0.1 |
-
-  #+name: frontend-listing
-  #+begin_src emacs-lisp :var frontend-deps=frontend-deps :exports none
-;; We use this Emacs Lisp snippet to generate the list of dependencies
-;; we have to install with npm
-(defun fmt-deps (d)
-  (format "  \"%s\": \"^%s\"" (nth 0 d) (nth 1 d)))
-
-(string-join (mapcar 'fmt-deps frontend-deps) ",\n")
-  #+end_src
-
-  #+begin_src json :tangle package.json :noweb yes
-{
-  "dependencies": {
-    <<frontend-listing()>>
-  }
-}
-  #+end_src
-
-  #+begin_src makefile :tangle dependencies.mk :noweb yes
-package-lock.json : package.json
-	@cleopatra echo "Installing" "frontend dependencies"
-	@npm install
-
-CONFIGURE += package-lock.json
-  #+end_src
-
-  #+begin_src makefile :tangle dependencies.mk :noweb yes
-dependencies-prebuild : _opam/init package-lock.json
-  #+end_src