Fix Nix build: krml -version was empty

git rev-parse HEAD does not work within Nix build environment
FStarLang · Oct 22, 2023 · 829fb27 · 829fb27
1 parent 32dff93
commit 829fb27
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.nix/karamel.nix b/.nix/karamel.nix
@@ -30,6 +30,7 @@ stdenv.mkDerivation {
     ]);
 
   FSTAR_HOME = fstar;
+  GIT_REV = version;
 
   configurePhase = "export KRML_HOME=$(pwd)";
 

diff --git a/Makefile b/Makefile
@@ -50,7 +50,7 @@ lib/AutoConfig.ml:
 
 .PHONY: src/Version.ml
 lib/Version.ml:
-	@echo "let version = \"$(shell git rev-parse HEAD)\"" > $@ \
+	@echo "let version = \"$(shell git rev-parse HEAD || echo ${GIT_REV})\"" > $@
 
 clean:
 	rm -rf krml
-Original file line number
+Diff line change
@@ Expand Up / @@ -30,6 +30,7 @@ stdenv.mkDerivation { @@
         ]);
       FSTAR_HOME = fstar;
+      GIT_REV = version;
       configurePhase = "export KRML_HOME=$(pwd)";
@@ Expand Down @@