ghdl: use DESTDIR instead of --prefix

YosysHQ · Oct 12, 2020 · eedff59 · eedff59
1 parent 1482016
commit eedff59
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/scripts/compile_ghdl.sh b/scripts/compile_ghdl.sh
@@ -18,16 +18,15 @@ if [ $ARCH == "darwin" ]; then
     OLD_PATH=$PATH
     export PATH="$GNAT_ROOT/bin:$PATH"
 
-    ./configure --prefix=$PACKAGE_DIR/$NAME
-
+    ./configure --prefix=/
     $MAKE -j$J GNAT_LARGS="-static-libgcc $ZLIB_ROOT/lib/libz.a"
-    $MAKE install
+    $MAKE DESTDIR=$PACKAGE_DIR/$NAME install
 
     export PATH="$OLD_PATH"
 else
-    ./configure --prefix=$PACKAGE_DIR/$NAME
+    ./configure --prefix=/
     $MAKE -j$J GNAT_BARGS="-bargs -E -static" GNAT_LARGS="-static -lz"
-    $MAKE install
+    $MAKE DESTDIR=$PACKAGE_DIR/$NAME install
 fi
 
 test_bin $PACKAGE_DIR/$NAME/bin/ghdl$exe