Skip to content
Snippets Groups Projects
Commit db11826d authored by Julien Signoles's avatar Julien Signoles
Browse files

frama-c-config in Makefile.in + gitignore

parent b49dfc34
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/.gitignore
+ 1
− 0
View file @ db11826d
...@@ -75,3 +75,4 @@ ...@@ -75,3 +75,4 @@
/tests/e-acsl-reject/result/*_DEP /tests/e-acsl-reject/result/*_DEP
/tests/e-acsl-reject/result/*.log /tests/e-acsl-reject/result/*.log
/tests/check/obj/* /tests/check/obj/*
.frama-c
src/plugins/e-acsl/Makefile.in
+ 2
− 2
View file @ db11826d
...@@ -27,10 +27,10 @@ ...@@ -27,10 +27,10 @@
# Do not use ?= to initialize both below variables # Do not use ?= to initialize both below variables
# (fixed efficiency issue, see GNU Make manual, Section 8.11) # (fixed efficiency issue, see GNU Make manual, Section 8.11)
ifndef FRAMAC_SHARE ifndef FRAMAC_SHARE
FRAMAC_SHARE :=$(shell frama-c -journal-disable -print-path) FRAMAC_SHARE :=$(shell frama-c-config -print-share-path)
endif endif
ifndef FRAMAC_LIBDIR ifndef FRAMAC_LIBDIR
FRAMAC_LIBDIR :=$(shell frama-c -journal-disable -print-libpath) FRAMAC_LIBDIR :=$(shell frama-c-config -print-libpath)
endif endif
# OCAMLVERSION and HAS_OCAML312 are defined in Frama-C common Makefile but # OCAMLVERSION and HAS_OCAML312 are defined in Frama-C common Makefile but
......
src/plugins/e-acsl/demo/.gitignore 0 → 100644
+ 4
− 0
View file @ db11826d
demo
demo.sav
script
res_demo.c
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