Log In
runtime
/
ntcon
Clone
Source Code
GIT
Source
Issues
0
Pull Requests
0
Stats
Overview
Files
Commits
Branches
Forks
Releases
Files
Commit:
1434c9aa9bc474b546093d06ab37932944e8e2d3
1434c9aa9bc474b546093d06ab37932944e8e2d3
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