Sylvan DD not installing properly through example script

[MaxMicheluttiUnitn]

I was interested in using the sylvan DD compiler through the python interface provided in this library, but I was unable to install it through the example bash script provided in the docs. In particular this is the output I receive by running the script inside a python 3.10.12 virtual environment on my Linux machine:

set -e
# check for Sylvan build dependencies
if ! command -v autoreconf &> /dev/null
then
    echo "apt install autoconf"
    exit
fi
if ! command -v libtoolize &> /dev/null
then
    echo "apt install libtool"
    exit
fi
# Fetch and install Sylvan
SYLVAN_ARCHIVE=sylvan.tar.gz
SYLVAN_URL=https://github.com/\
utwente-fmt/sylvan/tarball/v1.0.0
curl -L $SYLVAN_URL -o $SYLVAN_ARCHIVE
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed
  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100  275k    0  275k    0     0   243k      0 --:--:--  0:00:01 --:--:--  243k
# checksum
echo "9877fe07a8cfe9889152e29624a4c5b283\
cb34672ec524ccb3edb313b3057fbf8ef45622a4\
9796fae17aa24e0baea5ccfa18f1bc5923e3c552\
45ab3e3c1927c8  sylvan.tar.gz" | shasum -a 512 -c -
sylvan.tar.gz: OK
# unpack
mkdir sylvan
tar xzf sylvan.tar.gz -C sylvan --strip=1
pushd sylvan
~/Documents/random_projects/testdd/sylvan ~/Documents/random_projects/testdd
autoreconf -fi
libtoolize: putting auxiliary files in AC_CONFIG_AUX_DIR, 'tools'.
libtoolize: copying file 'tools/ltmain.sh'
libtoolize: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'.
libtoolize: copying file 'm4/libtool.m4'
libtoolize: copying file 'm4/ltoptions.m4'
libtoolize: copying file 'm4/ltsugar.m4'
libtoolize: copying file 'm4/ltversion.m4'
libtoolize: copying file 'm4/lt~obsolete.m4'
configure.ac:12: warning: The macro `AC_CHECKING' is obsolete.
configure.ac:12: You should run autoupdate.
./lib/autoconf/general.m4:2499: AC_CHECKING is expanded from...
configure.ac:12: the top level
configure.ac:7: installing 'tools/compile'
configure.ac:10: installing 'tools/config.guess'
configure.ac:10: installing 'tools/config.sub'
configure.ac:5: installing 'tools/install-sh'
configure.ac:5: installing 'tools/missing'
src/Makefile.am: installing 'tools/depcomp'
./configure
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a race-free mkdir -p... /usr/bin/mkdir -p
checking for gawk... no
checking for mawk... mawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether the compiler supports GNU C... yes
checking whether gcc accepts -g... yes
checking for gcc option to enable C11 features... none needed
checking whether gcc understands -c and -o together... yes
checking whether make supports the include directive... yes (GNU style)
checking dependency style of gcc... gcc3
checking whether C compiler accepts -std=c11... yes
checking for g++... g++
checking whether the compiler supports GNU C++... yes
checking whether g++ accepts -g... yes
checking for g++ option to enable C++11 features... none needed
checking dependency style of g++... gcc3
checking build system type... x86_64-pc-linux-gnu
checking host system type... x86_64-pc-linux-gnu
checking how to print strings... printf
checking for a sed that does not truncate output... /usr/bin/sed
checking for grep that handles long lines and -e... /usr/bin/grep
checking for egrep... /usr/bin/grep -E
checking for fgrep... /usr/bin/grep -F
checking for ld used by gcc... /usr/bin/ld
checking if the linker (/usr/bin/ld) is GNU ld... yes
checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
checking the name lister (/usr/bin/nm -B) interface... BSD nm
checking whether ln -s works... yes
checking the maximum length of command line arguments... 1572864
checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop
checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop
checking for /usr/bin/ld option to reload object files... -r
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for dlltool... no
checking how to associate runtime and link libraries... printf %s\n
checking for ar... ar
checking for archiver @FILE support... @
checking for strip... strip
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from gcc object... ok
checking for sysroot... no
checking for a working dd... /usr/bin/dd
checking how to truncate binary pipes... /usr/bin/dd bs=4096 count=1
checking for mt... mt
checking if mt is a manifest tool... no
checking for stdio.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for strings.h... yes
checking for sys/stat.h... yes
checking for sys/types.h... yes
checking for unistd.h... yes
checking for dlfcn.h... yes
checking for objdir... .libs
checking if gcc supports -fno-rtti -fno-exceptions... no
checking for gcc option to produce PIC... -fPIC -DPIC
checking if gcc PIC flag -fPIC -DPIC works... yes
checking if gcc static flag -static works... yes
checking if gcc supports -c -o file.o... yes
checking if gcc supports -c -o file.o... (cached) yes
checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes
checking whether -lc should be explicitly linked in... no
checking dynamic linker characteristics... GNU/Linux ld.so
checking how to hardcode library paths into programs... immediate
checking whether stripping libraries is possible... yes
checking if libtool supports shared libraries... yes
checking whether to build shared libraries... yes
checking whether to build static libraries... yes
checking how to run the C++ preprocessor... g++ -E
checking for ld used by g++... /usr/bin/ld -m elf_x86_64
checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld... yes
checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes
checking for g++ option to produce PIC... -fPIC -DPIC
checking if g++ PIC flag -fPIC -DPIC works... yes
checking if g++ static flag -static works... yes
checking if g++ supports -c -o file.o... yes
checking if g++ supports -c -o file.o... (cached) yes
checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes
checking dynamic linker characteristics... (cached) GNU/Linux ld.so
checking how to hardcode library paths into programs... immediate
configure: checking for any suitable hwloc installation...
checking for hwloc_topology_init in -lhwloc... yes
checking for hwloc.h... yes
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating src/Makefile
config.status: executing depfiles commands
config.status: executing libtool commands
make
Making all in src
make[1]: Entering directory '/home/mikimax/Documents/random_projects/testdd/sylvan/src'
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"sylvan\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I.     -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-lace.lo -MD -MP -MF .deps/libsylvan_la-lace.Tpo -c -o libsylvan_la-lace.lo `test -f 'lace.c' || echo './'`lace.c
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-lace.lo -MD -MP -MF .deps/libsylvan_la-lace.Tpo -c lace.c  -fPIC -DPIC -o .libs/libsylvan_la-lace.o
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-lace.lo -MD -MP -MF .deps/libsylvan_la-lace.Tpo -c lace.c -o libsylvan_la-lace.o >/dev/null 2>&1
mv -f .deps/libsylvan_la-lace.Tpo .deps/libsylvan_la-lace.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"sylvan\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I.     -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-llmsset.lo -MD -MP -MF .deps/libsylvan_la-llmsset.Tpo -c -o libsylvan_la-llmsset.lo `test -f 'llmsset.c' || echo './'`llmsset.c
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-llmsset.lo -MD -MP -MF .deps/libsylvan_la-llmsset.Tpo -c llmsset.c  -fPIC -DPIC -o .libs/libsylvan_la-llmsset.o
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-llmsset.lo -MD -MP -MF .deps/libsylvan_la-llmsset.Tpo -c llmsset.c -o libsylvan_la-llmsset.o >/dev/null 2>&1
mv -f .deps/libsylvan_la-llmsset.Tpo .deps/libsylvan_la-llmsset.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"sylvan\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I.     -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sha2.lo -MD -MP -MF .deps/libsylvan_la-sha2.Tpo -c -o libsylvan_la-sha2.lo `test -f 'sha2.c' || echo './'`sha2.c
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sha2.lo -MD -MP -MF .deps/libsylvan_la-sha2.Tpo -c sha2.c  -fPIC -DPIC -o .libs/libsylvan_la-sha2.o
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sha2.lo -MD -MP -MF .deps/libsylvan_la-sha2.Tpo -c sha2.c -o libsylvan_la-sha2.o >/dev/null 2>&1
mv -f .deps/libsylvan_la-sha2.Tpo .deps/libsylvan_la-sha2.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"sylvan\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I.     -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_bdd.lo -MD -MP -MF .deps/libsylvan_la-sylvan_bdd.Tpo -c -o libsylvan_la-sylvan_bdd.lo `test -f 'sylvan_bdd.c' || echo './'`sylvan_bdd.c
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_bdd.lo -MD -MP -MF .deps/libsylvan_la-sylvan_bdd.Tpo -c sylvan_bdd.c  -fPIC -DPIC -o .libs/libsylvan_la-sylvan_bdd.o
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_bdd.lo -MD -MP -MF .deps/libsylvan_la-sylvan_bdd.Tpo -c sylvan_bdd.c -o libsylvan_la-sylvan_bdd.o >/dev/null 2>&1
mv -f .deps/libsylvan_la-sylvan_bdd.Tpo .deps/libsylvan_la-sylvan_bdd.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"sylvan\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I.     -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_cache.lo -MD -MP -MF .deps/libsylvan_la-sylvan_cache.Tpo -c -o libsylvan_la-sylvan_cache.lo `test -f 'sylvan_cache.c' || echo './'`sylvan_cache.c
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_cache.lo -MD -MP -MF .deps/libsylvan_la-sylvan_cache.Tpo -c sylvan_cache.c  -fPIC -DPIC -o .libs/libsylvan_la-sylvan_cache.o
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_cache.lo -MD -MP -MF .deps/libsylvan_la-sylvan_cache.Tpo -c sylvan_cache.c -o libsylvan_la-sylvan_cache.o >/dev/null 2>&1
mv -f .deps/libsylvan_la-sylvan_cache.Tpo .deps/libsylvan_la-sylvan_cache.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"sylvan\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I.     -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_common.lo -MD -MP -MF .deps/libsylvan_la-sylvan_common.Tpo -c -o libsylvan_la-sylvan_common.lo `test -f 'sylvan_common.c' || echo './'`sylvan_common.c
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_common.lo -MD -MP -MF .deps/libsylvan_la-sylvan_common.Tpo -c sylvan_common.c  -fPIC -DPIC -o .libs/libsylvan_la-sylvan_common.o
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_common.lo -MD -MP -MF .deps/libsylvan_la-sylvan_common.Tpo -c sylvan_common.c -o libsylvan_la-sylvan_common.o >/dev/null 2>&1
mv -f .deps/libsylvan_la-sylvan_common.Tpo .deps/libsylvan_la-sylvan_common.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"sylvan\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I.     -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_ldd.lo -MD -MP -MF .deps/libsylvan_la-sylvan_ldd.Tpo -c -o libsylvan_la-sylvan_ldd.lo `test -f 'sylvan_ldd.c' || echo './'`sylvan_ldd.c
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_ldd.lo -MD -MP -MF .deps/libsylvan_la-sylvan_ldd.Tpo -c sylvan_ldd.c  -fPIC -DPIC -o .libs/libsylvan_la-sylvan_ldd.o
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_ldd.lo -MD -MP -MF .deps/libsylvan_la-sylvan_ldd.Tpo -c sylvan_ldd.c -o libsylvan_la-sylvan_ldd.o >/dev/null 2>&1
mv -f .deps/libsylvan_la-sylvan_ldd.Tpo .deps/libsylvan_la-sylvan_ldd.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"sylvan\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I.     -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_mtbdd.lo -MD -MP -MF .deps/libsylvan_la-sylvan_mtbdd.Tpo -c -o libsylvan_la-sylvan_mtbdd.lo `test -f 'sylvan_mtbdd.c' || echo './'`sylvan_mtbdd.c
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_mtbdd.lo -MD -MP -MF .deps/libsylvan_la-sylvan_mtbdd.Tpo -c sylvan_mtbdd.c  -fPIC -DPIC -o .libs/libsylvan_la-sylvan_mtbdd.o
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_mtbdd.lo -MD -MP -MF .deps/libsylvan_la-sylvan_mtbdd.Tpo -c sylvan_mtbdd.c -o libsylvan_la-sylvan_mtbdd.o >/dev/null 2>&1
mv -f .deps/libsylvan_la-sylvan_mtbdd.Tpo .deps/libsylvan_la-sylvan_mtbdd.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"sylvan\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I.     -g -O2 -MT sylvan_obj.lo -MD -MP -MF .deps/sylvan_obj.Tpo -c -o sylvan_obj.lo sylvan_obj.cpp
libtool: compile:  g++ -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -g -O2 -MT sylvan_obj.lo -MD -MP -MF .deps/sylvan_obj.Tpo -c sylvan_obj.cpp  -fPIC -DPIC -o .libs/sylvan_obj.o
In file included from ./sylvan_obj.hpp:23,
                 from sylvan_obj.cpp:18:
./lace.h: In function ‘Worker* lace_steal(WorkerP*, Task*, Worker*)’:
./lace.h:492:28: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  492 |         register TailSplit ts;
      |                            ^~
./lace.h:495:32: warning: ISO C++17 does not allow ‘register’ storage class specifier [-Wregister]
  495 |             register TailSplit ts_new;
      |                                ^~~~~~
libtool: compile:  g++ -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -g -O2 -MT sylvan_obj.lo -MD -MP -MF .deps/sylvan_obj.Tpo -c sylvan_obj.cpp -o sylvan_obj.o >/dev/null 2>&1
mv -f .deps/sylvan_obj.Tpo .deps/sylvan_obj.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"sylvan\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I.     -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_refs.lo -MD -MP -MF .deps/libsylvan_la-sylvan_refs.Tpo -c -o libsylvan_la-sylvan_refs.lo `test -f 'sylvan_refs.c' || echo './'`sylvan_refs.c
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_refs.lo -MD -MP -MF .deps/libsylvan_la-sylvan_refs.Tpo -c sylvan_refs.c  -fPIC -DPIC -o .libs/libsylvan_la-sylvan_refs.o
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_refs.lo -MD -MP -MF .deps/libsylvan_la-sylvan_refs.Tpo -c sylvan_refs.c -o libsylvan_la-sylvan_refs.o >/dev/null 2>&1
mv -f .deps/libsylvan_la-sylvan_refs.Tpo .deps/libsylvan_la-sylvan_refs.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"sylvan\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I.     -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_sl.lo -MD -MP -MF .deps/libsylvan_la-sylvan_sl.Tpo -c -o libsylvan_la-sylvan_sl.lo `test -f 'sylvan_sl.c' || echo './'`sylvan_sl.c
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_sl.lo -MD -MP -MF .deps/libsylvan_la-sylvan_sl.Tpo -c sylvan_sl.c  -fPIC -DPIC -o .libs/libsylvan_la-sylvan_sl.o
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_sl.lo -MD -MP -MF .deps/libsylvan_la-sylvan_sl.Tpo -c sylvan_sl.c -o libsylvan_la-sylvan_sl.o >/dev/null 2>&1
mv -f .deps/libsylvan_la-sylvan_sl.Tpo .deps/libsylvan_la-sylvan_sl.Plo
/bin/bash ../libtool  --tag=CC   --mode=compile gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"sylvan\ 1.0\" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I.     -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_stats.lo -MD -MP -MF .deps/libsylvan_la-sylvan_stats.Tpo -c -o libsylvan_la-sylvan_stats.lo `test -f 'sylvan_stats.c' || echo './'`sylvan_stats.c
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_stats.lo -MD -MP -MF .deps/libsylvan_la-sylvan_stats.Tpo -c sylvan_stats.c  -fPIC -DPIC -o .libs/libsylvan_la-sylvan_stats.o
libtool: compile:  gcc -DPACKAGE_NAME=\"sylvan\" -DPACKAGE_TARNAME=\"sylvan\" -DPACKAGE_VERSION=\"1.0\" "-DPACKAGE_STRING=\"sylvan 1.0\"" -DPACKAGE_BUGREPORT=\"\" -DPACKAGE_URL=\"\" -DPACKAGE=\"sylvan\" -DVERSION=\"1.0\" -DHAVE_STDIO_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_STRINGS_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_UNISTD_H=1 -DSTDC_HEADERS=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -fno-strict-aliasing -std=gnu11 -DUSE_HWLOC=1 -g -O2 -MT libsylvan_la-sylvan_stats.lo -MD -MP -MF .deps/libsylvan_la-sylvan_stats.Tpo -c sylvan_stats.c -o libsylvan_la-sylvan_stats.o >/dev/null 2>&1
mv -f .deps/libsylvan_la-sylvan_stats.Tpo .deps/libsylvan_la-sylvan_stats.Plo
/bin/bash ../libtool  --tag=CXX   --mode=link g++  -g -O2   -o libsylvan.la -rpath /usr/local/lib libsylvan_la-lace.lo libsylvan_la-llmsset.lo libsylvan_la-sha2.lo libsylvan_la-sylvan_bdd.lo libsylvan_la-sylvan_cache.lo libsylvan_la-sylvan_common.lo libsylvan_la-sylvan_ldd.lo libsylvan_la-sylvan_mtbdd.lo sylvan_obj.lo libsylvan_la-sylvan_refs.lo libsylvan_la-sylvan_sl.lo libsylvan_la-sylvan_stats.lo -lm -lhwloc 
libtool: link: g++  -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/crti.o /usr/lib/gcc/x86_64-linux-gnu/11/crtbeginS.o  .libs/libsylvan_la-lace.o .libs/libsylvan_la-llmsset.o .libs/libsylvan_la-sha2.o .libs/libsylvan_la-sylvan_bdd.o .libs/libsylvan_la-sylvan_cache.o .libs/libsylvan_la-sylvan_common.o .libs/libsylvan_la-sylvan_ldd.o .libs/libsylvan_la-sylvan_mtbdd.o .libs/sylvan_obj.o .libs/libsylvan_la-sylvan_refs.o .libs/libsylvan_la-sylvan_sl.o .libs/libsylvan_la-sylvan_stats.o   -lhwloc -L/usr/lib/gcc/x86_64-linux-gnu/11 -L/usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu -L/usr/lib/gcc/x86_64-linux-gnu/11/../../../../lib -L/lib/x86_64-linux-gnu -L/lib/../lib -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/11/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-linux-gnu/11/crtendS.o /usr/lib/gcc/x86_64-linux-gnu/11/../../../x86_64-linux-gnu/crtn.o  -g -O2   -Wl,-soname -Wl,libsylvan.so.0 -o .libs/libsylvan.so.0.0.0
libtool: link: (cd ".libs" && rm -f "libsylvan.so.0" && ln -s "libsylvan.so.0.0.0" "libsylvan.so.0")
libtool: link: (cd ".libs" && rm -f "libsylvan.so" && ln -s "libsylvan.so.0.0.0" "libsylvan.so")
libtool: link: ar cr .libs/libsylvan.a  libsylvan_la-lace.o libsylvan_la-llmsset.o libsylvan_la-sha2.o libsylvan_la-sylvan_bdd.o libsylvan_la-sylvan_cache.o libsylvan_la-sylvan_common.o libsylvan_la-sylvan_ldd.o libsylvan_la-sylvan_mtbdd.o sylvan_obj.o libsylvan_la-sylvan_refs.o libsylvan_la-sylvan_sl.o libsylvan_la-sylvan_stats.o
libtool: link: ranlib .libs/libsylvan.a
libtool: link: ( cd ".libs" && rm -f "libsylvan.la" && ln -s "../libsylvan.la" "libsylvan.la" )
make[1]: Leaving directory '/home/mikimax/Documents/random_projects/testdd/sylvan/src'
make[1]: Entering directory '/home/mikimax/Documents/random_projects/testdd/sylvan'
make[1]: Nothing to be done for 'all-am'.
make[1]: Leaving directory '/home/mikimax/Documents/random_projects/testdd/sylvan'
# update the environment variable `LD_LIBRARY_PATH`
export CFLAGS="-I`pwd`/src"
export LDFLAGS="-L`pwd`/src/.libs"
export LD_LIBRARY_PATH=`pwd`/src/.libs:$LD_LIBRARY_PATH
echo $CFLAGS
-I/home/mikimax/Documents/random_projects/testdd/sylvan/src
echo $LDFLAGS
-L/home/mikimax/Documents/random_projects/testdd/sylvan/src/.libs
echo $LD_LIBRARY_PATH
/home/mikimax/Documents/random_projects/testdd/sylvan/src/.libs:
popd
~/Documents/random_projects/testdd


# Fetch and install `dd`
export DD_SYLVAN=1
pip install dd \
    -vvv \
    --use-pep517 \
    --no-build-isolation
Using pip 22.0.2 from /home/mikimax/Documents/random_projects/testdd/py310dd/lib/python3.10/site-packages/pip (python 3.10)
Non-user install because user site-packages disabled
Created temporary directory: /tmp/pip-ephem-wheel-cache-0i18vdsq
Created temporary directory: /tmp/pip-req-tracker-ajun9jbx
Initialized build tracking at /tmp/pip-req-tracker-ajun9jbx
Created build tracker: /tmp/pip-req-tracker-ajun9jbx
Entered build tracker: /tmp/pip-req-tracker-ajun9jbx
Created temporary directory: /tmp/pip-install-nriybylm
Requirement already satisfied: dd in ./py310dd/lib/python3.10/site-packages (0.5.7)
Requirement already satisfied: setuptools>=19.6 in ./py310dd/lib/python3.10/site-packages (from dd) (59.6.0)
Requirement already satisfied: networkx>=1.9.1 in ./py310dd/lib/python3.10/site-packages (from dd) (3.4.2)
Requirement already satisfied: psutil>=3.2.2 in ./py310dd/lib/python3.10/site-packages (from dd) (6.1.0)
Requirement already satisfied: ply<=3.10,>=3.4 in ./py310dd/lib/python3.10/site-packages (from dd) (3.10)
Requirement already satisfied: astutils>=0.0.1 in ./py310dd/lib/python3.10/site-packages (from dd) (0.0.6)
Requirement already satisfied: pydot>=1.2.2 in ./py310dd/lib/python3.10/site-packages (from dd) (3.0.2)
Requirement already satisfied: pyparsing>=3.0.9 in ./py310dd/lib/python3.10/site-packages (from pydot>=1.2.2->dd) (3.2.0)
Created temporary directory: /tmp/pip-unpack-_x11n0j3
Removed build tracker: '/tmp/pip-req-tracker-ajun9jbx'
# fetch `dd` source
pip download \
    --no-deps dd \
    --no-binary dd
Collecting dd
  Downloading dd-0.5.7.tar.gz (709 kB)
     ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ 709.5/709.5 KB 8.2 MB/s eta 0:00:00
  Preparing metadata (setup.py) ... done
Saved ./dd-0.5.7.tar.gz
Successfully downloaded dd
tar -xzf dd-*.tar.gz
# confirm that `dd.sylvan` did get installed
pushd dd-*/tests/
~/Documents/random_projects/testdd/dd-0.5.7/tests ~/Documents/random_projects/testdd
python -c 'import dd.sylvan'
Traceback (most recent call last):
  File "<string>", line 1, in <module>
ModuleNotFoundError: No module named 'dd.sylvan'

[slivingston]

Thanks. I reproduced this error, and I am investigating it now.

[slivingston]

@MaxMicheluttiUnitn Can you try with Python 3.11?

I confirmed on my own machine that the script works correctly with Python 3.11 on Ubuntu 22.04 with Linux x86_64.

dd only officially supports Python versions >= 3.11, as noted in the README and setup.py. Note that Python 3.10 is past the bugfix release window and now only receives source-only security patches: https://peps.python.org/pep-0619/

If it is only possible for you to use Python 3.10, let me know. Probably we can find a solution.

[slivingston]

Furthermore, from a scientific Python standards perspective, Python 3.10 is past the support window: https://scientific-python.org/specs/spec-0000/

[johnyf]

Thank you for reporting this error, and for reproducing and investigating it.

To install on Python 3.10 using the current version of the script install_dd_sylvan.sh, the following lines can be used:

pip install pip==23
pip uninstall -y dd
pip install -r <(echo "dd --install-option='--sylvan'")

instead of the lines:

pip install dd \
    -vvv \
    --use-pep517 \
    --no-build-isolation

On Python 3.10, dd == 0.5.7 is used by pip, which was configured using --install-option of pip < 23.1 (https://pip.pypa.io/en/stable/news/#v23-1).

In dd >= 0.6.0, the configuration is done with export DD_SYLVAN=1.

An alternative approach is to compile from source dd == 0.6.0, by running bash examples/install_dd_sylvan.sh, after changing:

• to PYTHON_REQUIRES = '>=3.10' in setup.py, and
• to pip install . \ in examples/install_dd_sylvan.sh

To continue using dd.sylvan after the installation script completes:

export LD_LIBRARY_PATH=`pwd`/sylvan/src/.libs:$LD_LIBRARY_PATH

is needed in this case. Using Python >= 3.11 would be simpler.

[johnyf]

Was the issue addressed?