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
2xs
dx
Commits
72edc7c2
Commit
72edc7c2
authored
Apr 27, 2022
by
Samuel Hym
Browse files
CI: Build and test dx with artifacts
Generate artifacts with dx and all of its dependencies
parent
4603132f
Pipeline
#16235
passed with stages
in 9 minutes and 47 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
.gitlab-ci.yml
0 → 100644
View file @
72edc7c2
image
:
"
coqorg/coq:latest"
build dx and deps
:
stage
:
build
script
:
# Dependencies
-
eval $(opam env --switch=4.07.1+flambda --set-switch)
-
opam update
-
opam install --deps-only -b -y .
# Build
-
./configure --cprinterdir=$(opam var lib)/dx --compcertdir=$(opam var coq-compcert:build) --install-compcert-printer
-
make
-
make install
# Artifacts
-
ARTIFACTS=$PWD/dx-and-deps
-
mkdir -p $ARTIFACTS
-
cd $(opam var lib)
-
rsync -rptR coq/user-contrib/Flocq coq/user-contrib/compcert coq/user-contrib/elpi coq/user-contrib/dx dx --exclude=*.v --exclude=coq/user-contrib/elpi/apps/* $ARTIFACTS
artifacts
:
paths
:
-
dx-and-deps
# The artifacts are large, expire them soon if the user does not
# ask explicitly to keep them
expire_in
:
1 hour
test
:
stage
:
test
dependencies
:
-
build dx and deps
script
:
-
eval $(opam env --switch=4.07.1+flambda --set-switch)
-
LIB=$(opam var lib)
-
rsync -rpt dx-and-deps/* $LIB
-
make -C tests CPRINTERDIR=$LIB/dx
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