Commit 3749cfb7 authored by Andre Maroneze's avatar Andre Maroneze 💬
Browse files

[kgflags] fix symbolic link to path.mk

parent 40ce5ade
Pipeline #33000 passed with stage
in 48 minutes and 34 seconds
FRAMAC_BIN=/home/andr/git/frama-c-quebec/bin
ifeq ($(wildcard $(FRAMAC_BIN)),)
# Frama-C not installed locally; using the version in the PATH
else
FRAMAC=$(FRAMAC_BIN)/frama-c
FRAMAC_GUI=$(FRAMAC_BIN)/frama-c-gui
endif
../../path.mk
\ No newline at end of file
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment