added maps

alk-language · Feb 9, 2022 · 18f0130 · 18f0130
1 parent 6a83774
commit 18f0130
Show file tree

Hide file tree

Showing 74 changed files with 10,587 additions and 1,578 deletions.
diff --git a/bin/alk.jar b/bin/alk.jar
diff --git a/bin/alki.bat b/bin/alki.bat
@@ -1 +1,2 @@
-java -jar "%~dp0\alk.jar" %*
+set PATH=%PATH%;%~dp0\lib
+java -Djava-library-path="%~dp0;%~dp0\lib" -cp "%~dp0\alk.jar;%~dp0\lib\com.microsoft.z3.jar" main.ExecutionDriver %*
diff --git a/bin/alki.out b/bin/alki.out
diff --git a/bin/alki.sh b/bin/alki.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+	#!/bin/bash
 
 TARGET_FILE=$0
 ORIG=`pwd -P`
@@ -19,5 +19,8 @@ done
 # for the directory we're in and appending the target file.
 PHYS_DIR=`pwd -P`
 cd "$ORIG"
-java -jar $PHYS_DIR/alk.jar "${@:1}"
+export PATH="$PATH:$PHYS_DIR:$PHYS_DIR/lib"
+export LD_LIBRARY_PATH="$LD_LIBRARY_PATH:$PHYS_DIR:$PHYS_DIR/lib"
+export DYLD_LIBRARY_PATH="$DYLD_LIBRARY_PATH:$PHYS_DIR:$PHYS_DIR/lib"
+java -Djava.library.path="$PHYS_DIR:$PHYS_DIR/lib" -cp "$PHYS_DIR/alk.jar:$PHYS_DIR/lib/com.microsoft.z3.jar" main.ExecutionDriver "${@:1}"
 exit 0
diff --git a/bin/arrays.alk b/bin/arrays.alk
diff --git a/bin/example.alk b/bin/example.alk