Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
pub
frama-c
Commits
487257a1
Commit
487257a1
authored
Jan 07, 2020
by
François Bobot
Committed by
Julien Signoles
Jan 13, 2020
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
[CI] Move E-ACSL dev tests to frama-c configuration
parent
c9b5b4af
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
31 additions
and
2 deletions
+31
-2
.gitlab-ci.yml
.gitlab-ci.yml
+9
-2
nix/default.nix
nix/default.nix
+22
-0
No files found.
.gitlab-ci.yml
View file @
487257a1
...
...
@@ -212,7 +212,14 @@ pathcrawler:
tags
:
-
nix
e-acsl-tests-dev
:
stage
:
tests
variables
:
OCAML
:
"
4_05"
script
:
-
nix/frama-ci.sh build -A frama-c.e-acsl-tests-dev
tags
:
-
nix
make_public
:
stage
:
make_public
...
...
@@ -224,4 +231,4 @@ make_public:
tags
:
-
nix
only
:
-
schedules
\ No newline at end of file
-
schedules
nix/default.nix
View file @
487257a1
...
...
@@ -178,6 +178,28 @@ rec {
''
;
};
e-acsl-tests-dev
=
stdenv
.
mkDerivation
{
name
=
"frama-c-e-acsl-tests-dev"
;
buildInputs
=
mk_buildInputs
{};
build_dir
=
main
.
build_dir
;
src
=
main
.
build_dir
+
"/dir.tar"
;
sourceRoot
=
"."
;
postUnpack
=
''
find . \( -name "Makefile*" -or -name ".depend" -o -name "ptests_config" -o -name "config.status" \) -exec bash -c "t=\$(stat -c %y \"\$0\"); sed -i -e \"s&$(cat $build_dir/old_pwd)&$(pwd)&g\" \"\$0\"; touch -d \"\$t\" \"\$0\"" {} \;
''
;
configurePhase
=
''
true
''
;
buildPhase
=
''
make clean_share_link
make create_share_link
make E_ACSL_TESTS -j 4 PTESTS_OPTS="-error-code -j 4" DEV=yes
''
;
installPhase
=
''
true
''
;
};
internal
=
stdenv
.
mkDerivation
{
name
=
"frama-c-internal"
;
inherit
src
;
...
...
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