File tree Expand file tree Collapse file tree 3 files changed +2
-4
lines changed Expand file tree Collapse file tree 3 files changed +2
-4
lines changed Original file line number Diff line number Diff line change @@ -25,8 +25,6 @@ languages: util.dir langapi.dir \
2525 cpp.dir ansi-c.dir xmllang.dir assembler.dir java_bytecode.dir \
2626 jsil.dir
2727
28- solvers.dir : util.dir langapi.dir
29-
3028goto-instrument.dir : languages goto-programs.dir pointer-analysis.dir \
3129 goto-symex.dir linking.dir analyses.dir solvers.dir \
3230 json.dir
Original file line number Diff line number Diff line change @@ -227,5 +227,5 @@ solvers$(LIBEXT): $(OBJ) $(SOLVER_LIB)
227227 $(LINKLIB ) $(LIBSOLVER )
228228
229229smt2_solver$(EXEEXT ) : $(OBJ ) smt2/smt2_solver$(OBJEXT ) \
230- ../util/util$(LIBEXT ) ../langapi/langapi $( LIBEXT ) ../ big-int/big-int$(LIBEXT ) $(SOLVER_LIB )
230+ ../util/util$(LIBEXT ) ../big-int/big-int$(LIBEXT ) $(SOLVER_LIB )
231231 $(LINKBIN ) $(LIBSOLVER )
Original file line number Diff line number Diff line change @@ -3,4 +3,4 @@ add_library(util ${sources})
33
44generic_includes(util)
55
6- target_link_libraries (util big-int langapi )
6+ target_link_libraries (util big-int)
You can’t perform that action at this time.
0 commit comments