replica
/
diffblue-hw-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

assembler

This commit is contained in:
Daniel Kroening 2013-01-28 17:30:47 +00:00
parent e02baaee5b
commit fdea029779
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/hw-cbmc/Makefile
View File

@ -13,6 +13,7 @@ OBJ+= $(CBMC)/src/cbmc/parseoptions$(OBJEXT) \
$(CBMC)/src/cbmc/cover$(OBJEXT) \ $(CBMC)/src/cbmc/cover$(OBJEXT) \
$(CBMC)/src/cbmc/dimacs$(OBJEXT) \ $(CBMC)/src/cbmc/dimacs$(OBJEXT) \
$(CBMC)/src/ansi-c/ansi-c$(LIBEXT) \ $(CBMC)/src/ansi-c/ansi-c$(LIBEXT) \
$(CBMC)/src/assembler/assembler$(LIBEXT) \
$(CBMC)/src/linking/linking$(LIBEXT) \ $(CBMC)/src/linking/linking$(LIBEXT) \
$(CBMC)/src/xmllang/xmllang$(LIBEXT) \ $(CBMC)/src/xmllang/xmllang$(LIBEXT) \
$(CBMC)/src/big-int/bigint$(OBJEXT) \ $(CBMC)/src/big-int/bigint$(OBJEXT) \