We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 06d8ac7 + 132bd68 commit 2858b18Copy full SHA for 2858b18
src/Makefile
@@ -87,7 +87,8 @@ goto-diff.dir: languages goto-programs.dir pointer-analysis.dir \
87
88
goto-cc.dir: languages goto-programs.dir linking.dir
89
90
-memory-analyzer.dir: util.dir goto-programs.dir ansi-c.dir
+memory-analyzer.dir: util.dir goto-programs.dir langapi.dir linking.dir \
91
+ ansi-c.dir
92
93
symtab2gb.dir: util.dir goto-programs.dir langapi.dir linking.dir \
94
json.dir json-symtab-language.dir
0 commit comments