diff --git a/Make.bat b/Make.bat new file mode 100644 index 0000000000000000000000000000000000000000..1ea9f8fd3ad3a144e0a935256260ffd08457c211 --- /dev/null +++ b/Make.bat @@ -0,0 +1,5 @@ +set out_dir=temp +if not exist %out_dir% mkdir %out_dir% +javac -d %out_dir% -encoding UTF-8 -classpath annotations-java8.jar src/inport/*.java src/inport/ConversionUtils/*.java +jar cfe Conversion.jar inport.Main -C %out_dir% inport -C src constraints +rmdir /s /q %out_dir%