Makefile

8853ebdd · Vladislav Kiselev · 1140fed6 · 8853ebdd · 8853ebdd · 8853ebdd
Commit 8853ebdd authored Jun 21, 2019 by Vladislav Kiselev
Hide whitespace changes
Inline Side-by-side

Showing with 8 additions and 0 deletions

Makefile Makefile +6 -0

annotations-java8.jar annotations-java8.jar +0 -0

manifest.txt manifest.txt +2 -0

No files found.
--- a/Makefile
+++ b/Makefile
+out_dir = temp
+Conversion.jar: src/inport/*.java src/constraints/*.mzn manifest.txt
+	mkdir -p $(out_dir)
+	javac -d $(out_dir) -encoding UTF-8 -classpath annotations-java8.jar src/inport/*.java
+	cd $(out_dir) && jar -cvfm ../Conversion.jar ../manifest.txt inport/* ../src/constraints/../constraints/*
--- a/annotations-java8.jar
+++ b/annotations-java8.jar
--- a/manifest.txt
+++ b/manifest.txt
+Manifest-Version: 1.0
+Main-Class: inport.Main