Log In
tulips
/
perk
Clone
Source Code
GIT
Source
Issues
0
Pull Requests
0
Stats
Overview
Files
Commits
Branches
Forks
Releases
Files
Commit:
1647d61dd12e5206dd1de52d946d5a4551fc2b6e
1647d61dd12e5206dd1de52d946d5a4551fc2b6e
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