CVSROOT: /cvs Module name: ports Changes by: [email protected] 2021/05/09 07:27:14
Modified files:
devel/cbmc : Makefile
Added files:
devel/cbmc/patches: patch-src_ansi-c_Makefile
patch-src_jsil_Makefile
patch-src_json_Makefile
patch-src_memory-models_Makefile
patch-src_xmllang_Makefile
Log message:
Use --defines=filename.h instead of -d to fix build with bison 3.7.
The y.tab.c file equivalent now includes the generated header so it
cannot simply be moved to a new name. OK sthen@
