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