search

TeamVoss / VossII

The source code to the Voss II Hardware Verification Suite
Apache License 2.0
52 stars 13 forks source link

Compilation failed on Ubuntu #31

Open gussmith23 opened 3 months ago

gussmith23 commented 3 months ago

I am getting the following error even after installing the dependencies:

leviathan ➜  VossII git:(master) make -C src install_all

make: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/src'
make[1]: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/src/lib'
cc -g -DDEBUG  -std=gnu99 -Wall -Wextra -Werror -I../include -c alloc.c
cc -g -DDEBUG  -std=gnu99 -Wall -Wextra -Werror -I../include -c buf.c
cc -g -DDEBUG  -std=gnu99 -Wall -Wextra -Werror -I../include -c hash.c
cc -g -DDEBUG  -std=gnu99 -Wall -Wextra -Werror -I../include -c morestr.c
cc -g -DDEBUG  -std=gnu99 -Wall -Wextra -Werror -I../include -c readrc.c
cc -g -DDEBUG  -std=gnu99 -Wall -Wextra -Werror -I../include -c rec.c
cc -g -DDEBUG  -std=gnu99 -Wall -Wextra -Werror -I../include -c strmgr.c
cc -g -DDEBUG  -std=gnu99 -Wall -Wextra -Werror -I../include -c timer.c
cc -g -DDEBUG  -std=gnu99 -Wall -Wextra -Werror -I../include -c uniq_buf.c
cc -g -DDEBUG  -std=gnu99 -Wall -Wextra -Werror -I../include -c generation_hash.c
ar r fl_lib.a alloc.o buf.o hash.o morestr.o readrc.o rec.o strmgr.o timer.o uniq_buf.o generation_hash.o
ar: creating fl_lib.a
ranlib fl_lib.a
make[1]: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/src/lib'
make -C "/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat" config prefix=/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat CC=cc CXX=g++
make[1]: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat'
make[1]: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat'
make -C "/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat" install
make[1]: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat'
install -d /home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include/minisat
for dir in mtl utils core simp; do \
  install -d /home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include/minisat/$dir ; \
done
for h in minisat/mtl/Alg.h minisat/mtl/Map.h minisat/mtl/Alloc.h minisat/mtl/Vec.h minisat/mtl/Rnd.h minisat/mtl/Sort.h minisat/mtl/IntMap.h minisat/mtl/Queue.h minisat/mtl/IntTypes.h minisat/mtl/Heap.h minisat/mtl/XAlloc.h minisat/core/SolverTypes.h minisat/core/Dimacs.h minisat/core/Solver.h minisat/simp/SimpSolver.h minisat/utils/System.h minisat/utils/ParseUtils.h minisat/utils/Options.h ; do \
  install -m 644 $h /home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include/$h ; \
done
Compiling: build/release/minisat/core/Solver.o
In file included from ./minisat/mtl/Alg.h:24,
                 from minisat/core/Solver.cc:23:
./minisat/mtl/Vec.h: In instantiation of ‘void Minisat::vec<T, _Size>::capacity(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Minisat::vec<T, _Size>::Size = int]’:
./minisat/mtl/Vec.h:119:5:   required from ‘void Minisat::vec<T, _Size>::growTo(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Minisat::vec<T, _Size>::Size = int]’
./minisat/mtl/IntMap.h:48:48:   required from ‘void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]’
./minisat/core/SolverTypes.h:338:37:   required from ‘void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]’
minisat/core/Solver.cc:128:35:   required from here
./minisat/mtl/Vec.h:103:33: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<Minisat::Solver::Watcher>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
  103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
      |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ./minisat/mtl/Alg.h:24,
                 from minisat/core/Solver.cc:23:
./minisat/mtl/Vec.h:39:7: note: ‘class Minisat::vec<Minisat::Solver::Watcher>’ declared here
   39 | class vec {
      |       ^~~
Compiling: build/release/minisat/simp/SimpSolver.o
In file included from ./minisat/mtl/Sort.h:24,
                 from minisat/simp/SimpSolver.cc:21:
./minisat/mtl/Vec.h: In instantiation of ‘void Minisat::vec<T, _Size>::capacity(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<unsigned int>; _Size = int; Minisat::vec<T, _Size>::Size = int]’:
./minisat/mtl/Vec.h:119:5:   required from ‘void Minisat::vec<T, _Size>::growTo(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<unsigned int>; _Size = int; Minisat::vec<T, _Size>::Size = int]’
./minisat/mtl/IntMap.h:48:48:   required from ‘void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]’
./minisat/core/SolverTypes.h:338:37:   required from ‘void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]’
minisat/simp/SimpSolver.cc:86:28:   required from here
./minisat/mtl/Vec.h:103:33: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<unsigned int>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
  103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
      |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ./minisat/mtl/Sort.h:24,
                 from minisat/simp/SimpSolver.cc:21:
./minisat/mtl/Vec.h:39:7: note: ‘class Minisat::vec<unsigned int>’ declared here
   39 | class vec {
      |       ^~~
Compiling: build/release/minisat/utils/System.o
Compiling: build/release/minisat/utils/Options.o
Linking Static Library: build/release/lib/libminisat.a
Compiling: build/dynamic/minisat/core/Solver.o
In file included from ./minisat/mtl/Alg.h:24,
                 from minisat/core/Solver.cc:23:
./minisat/mtl/Vec.h: In instantiation of ‘void Minisat::vec<T, _Size>::capacity(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Minisat::vec<T, _Size>::Size = int]’:
./minisat/mtl/Vec.h:119:5:   required from ‘void Minisat::vec<T, _Size>::growTo(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Minisat::vec<T, _Size>::Size = int]’
./minisat/mtl/IntMap.h:48:48:   required from ‘void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]’
./minisat/core/SolverTypes.h:338:37:   required from ‘void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]’
minisat/core/Solver.cc:128:35:   required from here
./minisat/mtl/Vec.h:103:33: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<Minisat::Solver::Watcher>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
  103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
      |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ./minisat/mtl/Alg.h:24,
                 from minisat/core/Solver.cc:23:
./minisat/mtl/Vec.h:39:7: note: ‘class Minisat::vec<Minisat::Solver::Watcher>’ declared here
   39 | class vec {
      |       ^~~
Compiling: build/dynamic/minisat/simp/SimpSolver.o
In file included from ./minisat/mtl/Sort.h:24,
                 from minisat/simp/SimpSolver.cc:21:
./minisat/mtl/Vec.h: In instantiation of ‘void Minisat::vec<T, _Size>::capacity(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<unsigned int>; _Size = int; Minisat::vec<T, _Size>::Size = int]’:
./minisat/mtl/Vec.h:119:5:   required from ‘void Minisat::vec<T, _Size>::growTo(Minisat::vec<T, _Size>::Size) [with T = Minisat::vec<unsigned int>; _Size = int; Minisat::vec<T, _Size>::Size = int]’
./minisat/mtl/IntMap.h:48:48:   required from ‘void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]’
./minisat/core/SolverTypes.h:338:37:   required from ‘void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]’
minisat/simp/SimpSolver.cc:86:28:   required from here
./minisat/mtl/Vec.h:103:33: warning: ‘void* realloc(void*, size_t)’ moving an object of non-trivially copyable type ‘class Minisat::vec<unsigned int>’; use ‘new’ and ‘delete’ instead [-Wclass-memaccess]
  103 |     ||   (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) )
      |                        ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from ./minisat/mtl/Sort.h:24,
                 from minisat/simp/SimpSolver.cc:21:
./minisat/mtl/Vec.h:39:7: note: ‘class Minisat::vec<unsigned int>’ declared here
   39 | class vec {
      |       ^~~
Compiling: build/dynamic/minisat/utils/System.o
Compiling: build/dynamic/minisat/utils/Options.o
Linking Shared Library: build/dynamic/lib/libminisat.so.2.1.0
install -d /home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/lib
install -m 644 build/dynamic/lib/libminisat.so.2.1.0 /home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/lib
ln -sf libminisat.so.2.1.0 /home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/lib/libminisat.so.2
ln -sf libminisat.so.2 /home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/lib/libminisat.so
install -m 644 build/release/lib/libminisat.a /home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/lib
Compiling: build/dynamic/minisat/simp/Main.o
Linking Binary: build/dynamic/bin/minisat
install -d /home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/bin
install -m 755 build/dynamic/bin/minisat /home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/bin
make[1]: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat'
make -C "/home/gus/2024-04-voss2-hacking/VossII/src/external/visualization" TCL_INCLUDE="`pkg-config --cflags --libs tk`" CC=cc CXX=g++
make[1]: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/src/external/visualization'
cc -I ../../include -g -c list_util.c 
cc -I ../../include -g -c place_bounds.c
cc -I ../../include -g -c place.c
cc -I ../../include -g -c sch_util.c 
cc -shared -g -fPIC -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 schematic_draw_module.c ../../lib/alloc.c ../../lib/buf.c ../../lib/hash.c ../../lib/morestr.c ../../lib/rec.c ../../lib/strmgr.c ../../lib/timer.c ../../lib/uniq_buf.c ./list_util.c ./place_bounds.c ./place.c ./sch_util.c \
        -I ../../include \
        -o schematic_draw_module.so
make[1]: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/src/external/visualization'
make[1]: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/src/bin/fl'
tclsh make_prefs.tcl
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c new_bdd.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c error.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c arb_prec.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c file_ops.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c initialize.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c symbol_tbl.c
language.y:173.1-12: warning: POSIX Yacc does not support %pure-parser [-Wyacc]
  173 | %pure-parser
      | ^~~~~~~~~~~~
language.y:173.1-12: warning: deprecated directive: ‘%pure-parser’, use ‘%define api.pure’ [-Wdeprecated]
  173 | %pure-parser
      | ^~~~~~~~~~~~
      | %define api.pure
language.y:175.1-7: warning: POSIX Yacc does not support %define [-Wyacc]
  175 | %define parse.lac full
      | ^~~~~~~
language.y:176.1-7: warning: POSIX Yacc does not support %define [-Wyacc]
  176 | %define parse.error verbose
      | ^~~~~~~
language.y: warning: fix-its can be applied.  Rerun with option '--update'. [-Wother]
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c y.tab.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c lex.yy.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c graph.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c fl.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c typecheck.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c emit.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c lp.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c cache.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c compile.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c expand_cursor.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c io.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c remote_tcl.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c bexpr.c
g++ -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -fpermissive -Wno-error -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -fpermissive -Wno-error -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c minisat_ifc.cc
g++ -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -fpermissive -Wno-error -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -fpermissive -Wno-error -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c main.cc
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c draw_graph.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c debug.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c symbol.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c voss_strings.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c int_ops.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c list_ops.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c system.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c float.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c bv.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c bev.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c fsm.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c sha256.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c table.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c image.c
printf '#ifndef FL_ABI_VERSION\n' > abi_version.h
printf '#define FL_ABI_VERSION "' >> abi_version.h
cat float.h graph.h plugin.h voss_strings.h typecheck.h ../../include/types.h | sha256sum | gawk '{print ($1 "\"")}' >> abi_version.h
printf '#endif\n' >> abi_version.h
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c plugin.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c plugin_loader.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c plugin_checker.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c plugin_errlog.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c iso.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c pexlif.c
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c doc.c
make[2]: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/src/bin/fl/scripts'
cat ../voss_strings.h ../fsm.h ../table.h | gawk -f mk_serialize.awk > template
make[2]: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/src/bin/fl/scripts'
cc -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -std=gnu99 -Wno-unused-command-line-argument -Wno-unused-but-set-variable  -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"' -c serialize.c
g++ -g -DDEBUG  -D__STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -Wall -Wextra -Werror -DVERSION_DATE='"24/04/04"' -DDEFAULT_PLUGIN_DIR='"/home/gus/2024-04-voss2-hacking/VossII/vosslib"' -DFL_BINARY=1 -fpermissive -Wno-error -I../../include -I/home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/include -I/usr/include/tcl8.6 -ltk8.6 -ltkstub8.6 -ltcl8.6 -ltclstub8.6 -DROOT_DIR='"/home/gus/2024-04-voss2-hacking/VossII"'  -o fl new_bdd.o error.o arb_prec.o file_ops.o initialize.o symbol_tbl.o y.tab.o lex.yy.o graph.o fl.o typecheck.o emit.o lp.o cache.o compile.o expand_cursor.o io.o remote_tcl.o bexpr.o minisat_ifc.o main.o draw_graph.o debug.o symbol.o voss_strings.o int_ops.o list_ops.o system.o float.o bv.o bev.o fsm.o sha256.o table.o image.o plugin.o plugin_loader.o plugin_checker.o plugin_errlog.o iso.o pexlif.o doc.o serialize.o ../../lib/fl_lib.a /home/gus/2024-04-voss2-hacking/VossII/src/external/minisat/lib/libminisat.a \
 -lncurses -ldl -ledit
make[1]: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/src/bin/fl'
make[1]: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/src/bin/functor'
flex lexer
cc -g -DDEBUG   -o functor lex.yy.c
make[1]: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/src/bin/functor'
make[1]: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/src/bin/ignore_signals'
cc  -o ignore_signals ignore_signals.c
make[1]: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/src/bin/ignore_signals'
cp external/visualization/schematic_draw_module.so ../IDVII/
make -C /home/gus/2024-04-voss2-hacking/VossII/src/external/yosys/write_pexlif
make[1]: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/src/external/yosys/write_pexlif'
echo "Compiling write_pexlif"
Compiling write_pexlif
yosys-config --build write_pexlif.so write_pexlif.cc
write_pexlif.cc:1468:41: warning: unused variable 'first' [-Wunused-variable]
                std::vector<RTLIL::Module*>::iterator first;
                                                      ^
1 warning generated.
make[1]: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/src/external/yosys/write_pexlif'
unlink: cannot unlink '/home/gus/2024-04-voss2-hacking/VossII/bin/fl': No such file or directory
make: [Makefile:194: install_all] Error 1 (ignored)
make[1]: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/src'
make[2]: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/src/bin/functor'
make[2]: 'functor' is up to date.
make[2]: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/src/bin/functor'
make[1]: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/src'
cp -r vosslib/* /home/gus/2024-04-voss2-hacking/VossII/vosslib
chmod -R a+rX /home/gus/2024-04-voss2-hacking/VossII/vosslib
make[1]: Entering directory '/home/gus/2024-04-voss2-hacking/VossII/IDVII/src/fl/design'
make[1]: fl: Command not found
make[1]: *** [Makefile:4: generics] Error 127
make[1]: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/IDVII/src/fl/design'
make: *** [Makefile:216: install_all] Error 2
make: Leaving directory '/home/gus/2024-04-voss2-hacking/VossII/src'
tianrui-wei commented 3 months ago

Hi Gus,

May I ask which gcc version you're using? For GCC 13.1 it's working fine for me.

Thanks, Tianrui