diff options
| author | Thomas Letan <lthms@soap.coffee> | 2023-04-27 16:15:59 +0200 |
|---|---|---|
| committer | Thomas Letan <lthms@soap.coffee> | 2023-04-27 16:15:59 +0200 |
| commit | 68193faca26f5619bba3566bdaeeb7020fca2eb4 (patch) | |
| tree | 5758541e0489f2ad4f3e905e99ff13e400b1dc6c | |
| parent | Spatial Shell Call for Testers (diff) | |
Do not install GHC to build this blog
| -rw-r--r-- | dependencies.mk | 2 | ||||
| -rwxr-xr-x | scripts/history.sh | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/dependencies.mk b/dependencies.mk index f32c7ad..764927d 100644 --- a/dependencies.mk +++ b/dependencies.mk @@ -5,7 +5,7 @@ _opam/init : @pretty-echo.sh "Creating" "a local Opam switch" @opam switch create . ${OCAML} --repos default,coq-released || true @pretty-echo.sh "Installing" "OCaml dependencies" - @opam install dune.3.7.1 coq-coqffi.1.0.0~beta7 coq-simple-io.1.5.0 soupault.4.2.0 coq.8.13.2 coq-compcert.3.8 coq-serapi -y + @opam install dune.3.7.1 coq-coqffi.1.0.0~beta7 coq-simple-io.1.5.0 soupault.4.2.0 coq.8.13.2 coq-compcert.3.8 coq-serapi mustache -y @touch $@ CONFIGURE += _opam diff --git a/scripts/history.sh b/scripts/history.sh index 1594714..7e6da02 100755 --- a/scripts/history.sh +++ b/scripts/history.sh @@ -1,11 +1,12 @@ #!/usr/bin/bash + function main () { local file="${1}" local template="${2}" tmp_file=$(mktemp) generate_json ${file} > ${tmp_file} - haskell-mustache ${template} ${tmp_file} + mustache ${tmp_file} ${template} | tail -n +2 rm ${tmp_file} } |