From 92582845c7b75e235b28729de8a2bfd93080e09c Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Wed, 20 Jun 2018 15:49:38 +0100 Subject: [PATCH] fix build depenencies of unit test binary --- unit/Makefile | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) diff --git a/unit/Makefile b/unit/Makefile index f40ef857d10..ac45b654d9a 100644 --- a/unit/Makefile +++ b/unit/Makefile @@ -63,17 +63,9 @@ BMC_DEPS =../src/cbmc/all_properties$(OBJEXT) \ ../src/cbmc/symex_bmc$(OBJEXT) \ ../src/cbmc/symex_coverage$(OBJEXT) \ ../src/cbmc/xml_interface$(OBJEXT) \ - ../src/jsil/expr2jsil$(OBJEXT) \ - ../src/jsil/jsil_convert$(OBJEXT) \ - ../src/jsil/jsil_entry_point$(OBJEXT) \ - ../src/jsil/jsil_internal_additions$(OBJEXT) \ - ../src/jsil/jsil_language$(OBJEXT) \ - ../src/jsil/jsil_lex.yy$(OBJEXT) \ - ../src/jsil/jsil_parser$(OBJEXT) \ - ../src/jsil/jsil_parse_tree$(OBJEXT) \ - ../src/jsil/jsil_typecheck$(OBJEXT) \ - ../src/jsil/jsil_types$(OBJEXT) \ - ../src/jsil/jsil_y.tab$(OBJEXT) \ + ../src/xmllang/xmllang$(LIBEXT) \ + ../src/goto-symex/goto-symex$(LIBEXT) \ + ../src/jsil/jsil$(LIBEXT) \ # Empty last line # CPROVER_LIBS =../src/ansi-c/ansi-c$(LIBEXT) \