Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
7f11d6f7
Commit
7f11d6f7
authored
Jul 03, 2020
by
Virgile Prevosto
Browse files
[Makefile] factorization of the rule for generating test file
parent
39d0e0f1
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
7f11d6f7
...
...
@@ -2344,22 +2344,20 @@ else
GENERATED_TESTS
:=
endif
ifneq
("$(HAS_UNIX2DOS)","no")
tests/spec/preprocess_dos.c
:
tests/spec/preprocess_dos.c.in
\
Makefile share/Makefile.config
$(RM)
$@
$(SED)
-e
"s|@UNIX2DOS@|
$(UNIX2DOS)
|g"
\
-e
"s|@DONTRUN@||g"
\
$(SED)
-e
"s|@UNIX2DOS@|
$(
PP_DOS_
UNIX2DOS)
|g"
\
-e
"s|@DONTRUN@|
$(PP_DOS_DONTRUN)
|g"
\
$<
>
$@
$(CHMOD_RO)
$@
ifneq
("$(HAS_UNIX2DOS)","no")
tests/spec/preprocess_dos.c
:
PP_DOS_UNIX2DOS=$(UNIX2DOS)
tests/spec/preprocess_dos.c
:
PP_DOS_DONTRUN=
else
tests/spec/preprocess_dos.c
:
tests/spec/preprocess_dos.c.in
\
Makefile share/Makefile.config
$(RM)
$@
$(SED)
-e
"s|@DONTRUN@|DONTRUN: no unix2dos found|g"
\
-e
"s|@UNIX2DOS|unix2dos|g"
\
$<
>
$@
$(CHMOD_RO)
$@
tests/spec/preprocess_dos.c
:
PP_DOS_UNIX2DOS=unix2dos
tests/spec/preprocess_dos.c
:
PP_DOS_DONTRUN=DONTRUN: no unix2dos found
endif
ptests
:
bin/ptests.$(OCAMLBEST)$(EXE) $(PTESTS_CONFIG) $(GENERATED_TESTS)
...
...
Write
Preview
Supports
Markdown
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