Skip to content

Commit bc4f0bb

Browse files
author
Daniel Kroening
committed
IDs
1 parent 7e2849e commit bc4f0bb

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

src/hw-cbmc/Makefile

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -37,6 +37,8 @@ include ../config.inc
3737

3838
INCLUDES= -I $(CBMC)/src -I ..
3939

40+
CXXFLAGS += -D'LOCAL_IREP_IDS=<hw_cbmc_irep_ids.h>'
41+
4042
LIBS =
4143

4244
CLEANFILES = hw-cbmc$(EXEEXT)

0 commit comments

Comments
 (0)