Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
open-source-case-studies
Commits
2e77dbe2
Commit
2e77dbe2
authored
Aug 10, 2021
by
Thibault Martin
Browse files
Fix papabench/gzip
parent
7421d688
Changes
2
Hide whitespace changes
Inline
Side-by-side
gzip124/.frama-c/GNUmakefile
View file @
2e77dbe2
...
...
@@ -22,6 +22,7 @@ CPPFLAGS += \
## General flags
FCFLAGS
+=
\
-load-module
=
nonterm
\
-add-symbolic-path
=
..:.
\
-nonterm-ignore
do_exit
\
-main
eva_main
\
...
...
papabench/.frama-c/GNUmakefile
View file @
2e77dbe2
...
...
@@ -39,7 +39,7 @@ FCGUIFLAGS += \
# Targets for LTest
include
../../Makefile.ltest
$(eval
$(call
generate-rules,papabench,$(sort
$(wildcard
../sw/airborne/autopilot/*.c))
../sw/lib/c/math.c
$(shell
$(FRAMAC)-config
-print-share-path)/libc/math.c
fc_stubs.h
))
$(eval
$(call
generate-rules,papabench,$(sort
$(wildcard
../sw/airborne/autopilot/*.c))
../sw/lib/c/
pp_
math.c
$(shell
$(FRAMAC)-config
-print-share-path)/libc/math.c))
### Epilogue. Do not modify this block. #######################################
include
$(shell $(FRAMAC)-config -print-share-path)/analysis-scripts/epilogue.mk
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment