Searched refs:SCRIPTS_DIR (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/tools/cogent/cogent/
H A DMakefile15 SCRIPTS_DIR:=$(PWD)/scripts/ macro
118 $(SCRIPTS_DIR)/cogent_validate.sh -pp
122 $(SCRIPTS_DIR)/cogent_validate.sh -tc
126 $(SCRIPTS_DIR)/cogent_validate.sh -ds
130 $(SCRIPTS_DIR)/cogent_validate.sh -an
134 $(SCRIPTS_DIR)/cogent_validate.sh -mn
138 $(SCRIPTS_DIR)/cogent_validate.sh -cg
142 $(SCRIPTS_DIR)/cogent_validate.sh -tc-proof
146 $(SCRIPTS_DIR)/cogent_validate.sh -ac
150 $(SCRIPTS_DIR)/cogent_validat
[all...]

Completed in 26 milliseconds