Improves deepdive-compile to record and check deepdive version

and not skip compilation when a different version is used
HazyResearch · Jan 24, 2017 · f8e97ab · f8e97ab
1 parent ee6917a
commit f8e97ab
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/compiler/app-has-nothing-to-compile b/compiler/app-has-nothing-to-compile
@@ -11,6 +11,13 @@ DEEPDIVE_APP=$(find-deepdive-app)
 export DEEPDIVE_APP
 cd "$DEEPDIVE_APP"
 
+# check if deepdive version has changed
+deepdive-version |
+diff -q "$DEEPDIVE_APP"/run/compiled/deepdive.version - || {
+    warning 'deepdive version updated since last `deepdive compile`'
+    exit 127
+}
+
 # source files to check
 set -- app.ddlog deepdive.conf schema.json
 

diff --git a/compiler/deepdive-compile b/compiler/deepdive-compile
@@ -71,6 +71,12 @@ PATH="$DEEPDIVE_HOME"/util/compile-config:"$PATH"
 PATH="$DEEPDIVE_HOME"/util/compile-code:"$PATH"
 export DEEPDIVE_ERROR_PREFIX="[ERROR] "
 
+###############################################################################
+## record which version of DeepDive compiled this
+deepdive version >run/"$compileDir"/deepdive.version
+## record the environment used for compilation
+env >run/"$compileDir"/environ
+
 ###############################################################################
 ## compile a full deepdive.conf from source code
 if ! [[ -e $DEEPDIVE_COMPILE_INPUT_JSON ]]; then