Closed Meijuh closed 7 years ago
make[2]: Entering directory '/media/wieger/mcrl2/mcrl2-release/ltsmin/src/lts-io' /bin/bash ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../../src/hre -I/home/wieger/tools/cadp/incl -I../../src -I../../src -I/media/wieger/mcrl2/cpp/boost_1_63_0 -I/media/wieger/mcrl2/mcrl2-release/mcrl2-ltsmin-build/install/include -g -O2 -pthread -W -Wall -pipe -c -o liblts_io_la-bcg_io.lo test -f 'bcg_io.c' || echo './'bcg_io.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../../src/hre -I/home/wieger/tools/cadp/incl -I../../src -I../../src -I/media/wieger/mcrl2/cpp/boost_1_63_0 -I/media/wieger/mcrl2/mcrl2-release/mcrl2-ltsmin-build/install/include -g -O2 -pthread -W -Wall -pipe -c bcg_io.c -o liblts_io_la-bcg_io.o bcg_io.c: In function ‘bcg_file_push’: bcg_io.c:64:5: error: unknown type name ‘bcg_type_state_number’ bcg_type_state_number bcg_s1, bcg_s2;
test -f 'bcg_io.c' || echo './'
make[2]: Entering directory '/media/wieger/mcrl2/mcrl2-release/ltsmin/src/lts-io' /bin/bash ../../libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I../../src/hre -I/home/wieger/tools/cadp/incl -I../../src -I../../src -I/media/wieger/mcrl2/cpp/boost_1_63_0 -I/media/wieger/mcrl2/mcrl2-release/mcrl2-ltsmin-build/install/include -g -O2 -pthread -W -Wall -pipe -c -o liblts_io_la-bcg_io.lo
test -f 'bcg_io.c' || echo './'bcg_io.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I../../src/hre -I/home/wieger/tools/cadp/incl -I../../src -I../../src -I/media/wieger/mcrl2/cpp/boost_1_63_0 -I/media/wieger/mcrl2/mcrl2-release/mcrl2-ltsmin-build/install/include -g -O2 -pthread -W -Wall -pipe -c bcg_io.c -o liblts_io_la-bcg_io.o bcg_io.c: In function ‘bcg_file_push’: bcg_io.c:64:5: error: unknown type name ‘bcg_type_state_number’ bcg_type_state_number bcg_s1, bcg_s2;