File tree 3 files changed +2
-4
lines changed
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 \
25
25
cpp.dir ansi-c.dir xmllang.dir assembler.dir java_bytecode.dir \
26
26
jsil.dir
27
27
28
- solvers.dir : util.dir langapi.dir
29
-
30
28
goto-instrument.dir : languages goto-programs.dir pointer-analysis.dir \
31
29
goto-symex.dir linking.dir analyses.dir solvers.dir \
32
30
json.dir
Original file line number Diff line number Diff line change @@ -227,5 +227,5 @@ solvers$(LIBEXT): $(OBJ) $(SOLVER_LIB)
227
227
$(LINKLIB ) $(LIBSOLVER )
228
228
229
229
smt2_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 )
231
231
$(LINKBIN ) $(LIBSOLVER )
Original file line number Diff line number Diff line change @@ -3,4 +3,4 @@ add_library(util ${sources})
3
3
4
4
generic_includes(util)
5
5
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