Skip to content
Snippets Groups Projects
Normal view Permalink
path.mk 209 B
Newer Older
Andre Maroneze's avatar
use new Makefile structure  
Andre Maroneze committed
1 
FRAMAC_DIR=../../frama-c/build/bin
Andre Maroneze's avatar
Initial commit
Andre Maroneze committed
2 3 4 5 6 7 
ifeq ($(wildcard $(FRAMAC_DIR)),)
# Frama-C not installed locally; using the version in the PATH
else
FRAMAC=$(FRAMAC_DIR)/frama-c
FRAMAC_GUI=$(FRAMAC_DIR)/frama-c-gui
endif