Skip to content

Commit 2a0cb4e

Browse files
tautschnigDaniel Kroening
authored and
Daniel Kroening
committed
Makefile builds: fix goto-harness build dependencies
goto-harness links several libraries, all of which must get built before goto-harness can be linked.
1 parent 1c231bb commit 2a0cb4e

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/Makefile

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -49,7 +49,8 @@ languages: util.dir langapi.dir \
4949

5050
solvers.dir: util.dir
5151

52-
goto-harness.dir: util.dir goto-programs.dir
52+
goto-harness.dir: util.dir goto-programs.dir langapi.dir linking.dir \
53+
json.dir json-symtab-language.dir
5354

5455
goto-instrument.dir: languages goto-programs.dir pointer-analysis.dir \
5556
goto-symex.dir linking.dir analyses.dir solvers.dir

0 commit comments

Comments
 (0)