From c629c6a63fe36e7ad0c88152ed8d36c1d4610f21 Mon Sep 17 00:00:00 2001 From: Holger Vogt Date: Mon, 30 Jan 2023 16:52:43 +0100 Subject: [PATCH] Add --enable-osdi to include the osdi interface --- compile_min_shared.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compile_min_shared.sh b/compile_min_shared.sh index ad27fde3d..ce8bc9565 100644 --- a/compile_min_shared.sh +++ b/compile_min_shared.sh @@ -51,14 +51,14 @@ if test "$1" = "d"; then echo "configuring for 64 bit debug" echo # You may add --enable-adms to the following command for adding adms generated devices - ../configure --with-ngshared --enable-xspice --enable-cider --enable-openmp --enable-relpath --disable-debug prefix="C:/Spice64d" CFLAGS="-m64 -g -O0 -Wall" LDFLAGS="-m64" + ../configure --with-ngshared --enable-xspice --enable-cider --enable-openmp --enable-osdi --enable-relpath --disable-debug prefix="C:/Spice64d" CFLAGS="-m64 -g -O0 -Wall" LDFLAGS="-m64" else cd release-sh if [ $? -ne 0 ]; then echo "cd release-sh failed"; exit 1 ; fi echo "configuring for 64 bit release" echo # You may add --enable-adms to the following command for adding adms generated devices - ../configure --with-ngshared --enable-xspice --enable-cider --enable-openmp --enable-relpath --disable-debug prefix="C:/Spice64" CFLAGS="-m64 -O2" LDFLAGS="-m64 -s" + ../configure --with-ngshared --enable-xspice --enable-cider --enable-openmp --enable-osdi --enable-relpath --disable-debug prefix="C:/Spice64" CFLAGS="-m64 -O2" LDFLAGS="-m64 -s" fi if [ $? -ne 0 ]; then echo "../configure failed"; exit 1 ; fi