CI: install pulse, build lowparse/pulse

.docker/build/config.json

@@ -29,6 +29,7 @@
 
     "RepoVersions" : {
         "mitls_version" : "origin/dev",
+        "pulse_version" : "origin/master",
         "karamel_version" : "origin/master"
     }
 }

.docker/build/install-other-deps.sh

@@ -16,4 +16,12 @@ pushd $KRML_HOME
 popd
 OTHERFLAGS='--admit_smt_queries true' make -j 24 -C "$KRML_HOME"
 
+# Identify the Pulse branch
+PULSE_BRANCH=$(jq -c -r '.RepoVersions.pulse_version' "$build_home"/config.json | sed 's!^origin/!!')
+
+# Install Pulse and its dependencies
+[[ -n "$PULSE_HOME" ]]
+git clone --branch $PULSE_BRANCH https://github.com/FStarLang/pulse "$PULSE_HOME"
+OTHERFLAGS='--admit_smt_queries true' make -j 24 -C "$PULSE_HOME"
+
 opam install hex re ctypes sha sexplib

.docker/hierarchic.Dockerfile

@@ -8,6 +8,7 @@ WORKDIR $HOME/everparse
 
 # Dependencies (opam packages)
 ENV KRML_HOME=$HOME/everparse/karamel
+ENV PULSE_HOME=$HOME/everparse/pulse
 RUN sudo apt-get update && eval $(opam env) && .docker/build/install-other-deps.sh
 
 # CI dependencies: sphinx (for the docs)

.docker/standalone.Dockerfile

@@ -15,6 +15,7 @@ RUN sudo apt-get update && sudo apt-get install -y --no-install-recommends \
 # Dependencies (F*, Karamel and opam packages)
 ENV FSTAR_HOME=$HOME/FStar
 ENV KRML_HOME=$HOME/karamel
+ENV PULSE_HOME=$HOME/karamel
 RUN eval $(opam env) && .docker/build/install-deps.sh
 
 # CI dependencies: sphinx (for the docs)

Makefile

@@ -52,7 +52,12 @@ quackyducky-test: quackyducky-unit-test quackyducky-sample-test quackyducky-samp
 
 test: all lowparse-test quackyducky-test 3d-test asn1-test
 
-ci: test
+lowparse-pulse: lowparse
+	+$(MAKE) -C src/lowparse/pulse
+
+.PHONY: lowparse-pulse
+
+ci: test lowparse-pulse
 
 clean-3d:
 	+$(MAKE) -C src/3d clean