unique file names

2013-06-26 07:39:43 +00:00 · 2013-06-26 07:39:43 +00:00 · 57278bcff4
parent 5d762f96d5
commit 57278bcff4
2 changed files with 2 additions and 2 deletions
--- a/src/hw-cbmc/Makefile
+++ b/src/hw-cbmc/Makefile
@ -1,7 +1,7 @@
-SRC = main.cpp hw_cbmc_parseoptions.cpp hw_bmc.cpp next_timeframe.cpp \
+SRC = hw_cbmc_main.cpp hw_cbmc_parseoptions.cpp hw_bmc.cpp next_timeframe.cpp \
      map_vars.cpp gen_interface.cpp set_inputs.cpp

-OBJ+= $(CBMC)/src/cbmc/parseoptions$(OBJEXT) \
+OBJ+= $(CBMC)/src/cbmc/cbmc_parseoptions$(OBJEXT) \
      $(CBMC)/src/cbmc/xml_interface$(OBJEXT) \
      $(CBMC)/src/cbmc/languages$(OBJEXT) \
      $(CBMC)/src/cbmc/bmc$(OBJEXT) \
--- a/src/hw-cbmc/hw_cbmc_main.cpp
+++ b/src/hw-cbmc/hw_cbmc_main.cpp