Update dependencies (#578)

* deps/k: update submodule * deps/k: update submodule * Makefile: add explicit declaration of ocaml backend
runtimeverification · Nov 28, 2019 · 7470a62 · 7470a62
1 parent 4ba280d
commit 7470a62
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -262,7 +262,7 @@ endif
 
 $(ocaml_dir)/$(MAIN_DEFN_FILE)-kompiled/constants.$(EXT): $(ocaml_files)
 	eval $$(opam config env) \
-	    && $(K_BIN)/kompile --debug --main-module $(MAIN_MODULE) \
+	    && $(K_BIN)/kompile --debug --main-module $(MAIN_MODULE) --backend ocaml \
 	                        --syntax-module $(SYNTAX_MODULE) $(ocaml_dir)/$(MAIN_DEFN_FILE).k \
 	                        --hook-namespaces "KRYPTO" --gen-ml-only -O3 --non-strict \
 	                        --directory $(ocaml_dir) -I $(ocaml_dir) $(KOMPILE_OPTS) \

diff --git a/deps/k b/deps/k