adding fstar-version.json file

hacl-star · Jul 30, 2018 · ff810f3 · ff810f3
1 parent d3474d1
commit ff810f3
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 3 deletions.
diff --git a/.docker/build/fstar-version.json b/.docker/build/fstar-version.json
@@ -0,0 +1,4 @@
+{
+    "branch" : "stable",
+    "commit" : "cc8247b68d9a"
+}
diff --git a/.docker/build/linux/Dockerfile b/.docker/build/linux/Dockerfile
@@ -1,11 +1,14 @@
 # hacl build container
 
-# Define here what FStar base container image hacl build should use.
+# Define on fstar-version.json what FStar base container image
+# hacl build should use.
 # By default it always look for the latest FStar container available
 # In case you would like to reference a specific commit,
 # replace latest with the commit id from github using 12 characters.
-# i.e.: FROM fstar:cbac9b43ab46
-FROM fstar:latest
+# Latest can only be used with branch master,
+# for any other branch please use the specific commit id on the config file.
+ARG COMMITID
+FROM fstar:${COMMITID}
 
 ARG BUILDLOGFILE
 ARG MAXTHREADS