Install nailgun to lib/kframework/bin

runtimeverification · Nov 21, 2023 · 2fc5421 · 2fc5421
1 parent f9ef98a
commit 2fc5421
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/k-distribution/src/main/assembly/bin.xml b/k-distribution/src/main/assembly/bin.xml
@@ -7,7 +7,7 @@
   <baseDirectory>k</baseDirectory>
     <dependencySets>
       <dependencySet>
-        <outputDirectory>/bin</outputDirectory>
+        <outputDirectory>/lib/kframework/bin</outputDirectory>
         <includes>
           <include>*:uexe:${native.os.classifier}:*</include>
         </includes>

diff --git a/k-distribution/src/main/scripts/lib/setenv b/k-distribution/src/main/scripts/lib/setenv
@@ -9,7 +9,7 @@ else
 fi
 K_LIB_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 
-export PATH="$K_LIB_DIR/../../bin:$PATH"
+export PATH="$K_LIB_DIR/../../bin:$K_LIB_DIR/bin:$PATH"
 
 source "$K_LIB_DIR/checkJava" # sets ARCH and JAVA