Skip to content
Snippets Groups Projects
Select Git revision
  • 0c4441c74a71b5923cd4c6ebe07cc03d45d09f3a
  • aconjunctive default
  • pgsolver
  • pgsolver-old
  • gen2
  • pgsolver-tmp
  • cool-copy
  • cool2mlsolver
  • master
  • latex
  • ctl-testcases
  • tmp/leakdebug
  • api-docs
  • remove-gmlmip
  • fix-testsuite-flatmu
  • fix-testsuite protected
16 results

cool

user avatar
Thorsten Wißmann authored
Use -include directive to tell Make that Make itself has to create the
.depend file. Therefore, add a .depend target in addition to the phony
depend target.
0c4441c7
History
Name Last commit Last update