Make update of version output of linter easier

No way I gonna bump the version every time
sosy-lab · Dec 2, 2020 · 3d58d20 · 3d58d20
1 parent 43f3fe6
commit 3d58d20
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/lint/Makefile b/lint/Makefile
@@ -2,9 +2,12 @@
 build:
 	mkdir -p build/witnesslint
 	rm -rf build/witnesslint/*
+	rm -f val_witnesslint.zip
 	cp README.md build/witnesslint/
 	cp ../LICENSE build/witnesslint/
 	cp -r ../LICENSES build/witnesslint/LICENSES
 	cp witnesslinter.py build/witnesslint/
 	cp -r witnesslint build/witnesslint/witnesslint
-	zip -r val_witnesslint.zip witnesslint
+	echo "$$(git describe --dirty)"
+	sed -i "s|__version__ = \"DEV\"|__version__ = \"$$(git describe --dirty)\"|g" build/witnesslint/witnesslint/linter.py
+	cd build && zip -r ../val_witnesslint.zip witnesslint
diff --git a/lint/witnesslint/linter.py b/lint/witnesslint/linter.py
@@ -11,7 +11,7 @@
 [1]: github.com/sosy-lab/sv-witnesses/blob/master/README.md
 """
 
-__version__ = "1.2"
+__version__ = "DEV"
 
 import argparse
 import collections