Log In
runtime
/
ntcon
Clone
Source Code
GIT
Source
Issues
0
Pull Requests
0
Stats
Overview
Files
Commits
Branches
Forks
Releases
Files
Commit:
c1f8bca24b0f813cc619b44ea9de892be490893a
c1f8bca24b0f813cc619b44ea9de892be490893a
sofort
core
infer.mk
Fork and Edit
Text
Blame
History
Raw
infer.mk: top-level handling of inference rules.
this file is covered by COPYING.SOFORT.
include $(PROJECT_DIR)/sofort/core/
infer/infer
$(MAKEMODE).mk