Added a Makefile to build SV-COMP package

peterschrammel · peterschrammel · commit 9b5005df902c · 2016-11-28T14:02:00.000Z
diff --git a/sv-comp/Makefile b/sv-comp/Makefile
@@ -0,0 +1,5 @@
+all: 
+	mkdir -p tmp
+	cp ../LICENSE cbmc tmp/
+	cp ../src/cbmc/cbmc tmp/cbmc-binary
+	cd tmp; tar cfz ../CBMC-sv-comp-2017.tar.gz *; rm cbmc cbmc-binary LICENSE; cd ..; rm -R tmp
