Broken make, "Instantiate: bad symbol"

[jordr]

~/o/optms/archs/armv7t master ?4 > make clean; make
rm -rf arm.nml arm.irg nmp/state.nmp
cp nmp/state-normal.nmp nmp/state.nmp  
cd nmp &&  ../../gliss2/irg/mkirg arm-thumb.nmp ../arm.irg  && cd ..
backslash and newline separated by space
nmp2nml succeeded, 13967 line(s) parsed, 49798 line(s) written, 3375 macro substitution(s) done !
WARNING: thumb.nmp:154:24: the canonical function //do_collect_regs is not defined
WARNING: thumb2.nmp:3915:59: first bound (7) is bigger than base size (3)
WARNING: thumb2.nmp:3915:111: first bound (7) is bigger than base size (3)
../gliss2/gep/gep -m loader:old_elf -m code:code -m env:void_env -m sys_call:extern/sys_call -m shift:extern/shift -v -a disasm.c -S -switch -D -m mem:io_mem -a disasm.c arm.irg
Fatal error: exception Failure("Instantiate: bad symbol")
make: *** [Makefile:116: src] Error 2

This was introduced by https://github.com/statinf-otawa/armv7t/commit/896298718489854903e488a5ecb3d30b66ff9695. Make workson the commit before. @brouxel

[brouxel]

try using make WITH_FAST_STATE=1; as in the Dockerfile Is it still broken?

[jordr]

Thanks, fixes it. My bad. Strange that it worked without at times