We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c7dde76 commit 2fddc29Copy full SHA for 2fddc29
src/ebmc/Makefile
@@ -21,8 +21,8 @@ SRC = \
21
22
OBJ+= $(CBMC)/src/util/util$(LIBEXT) \
23
$(CBMC)/src/langapi/langapi$(LIBEXT) \
24
- $(CBMC)/src/ansi-c/string_constant$(OBJEXT) \
25
$(CBMC)/src/util/c_types$(OBJEXT) \
+ $(CBMC)/src/goto-programs/system_library_symbols$(OBJEXT) \
26
$(CBMC)/src/solvers/solvers$(LIBEXT) \
27
$(CBMC)/src/big-int/big-int$(LIBEXT) \
28
../trans-netlist/trans-netlist$(LIBEXT) \
0 commit comments