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 / Register
Toggle navigation
Open sidebar
David Swasey
coq-stdpp
Commits
b5199648
Commit
b5199648
authored
Oct 19, 2017
by
Ralf Jung
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
update CI
parent
9e19db28
Changes
2
Hide whitespace changes
Inline
Side-by-side
Showing
2 changed files
with
11 additions
and
9 deletions
+11
-9
.gitlab-ci.yml
.gitlab-ci.yml
+5
-5
build/opam-ci.sh
build/opam-ci.sh
+6
-4
No files found.
.gitlab-ci.yml
View file @
b5199648
...
...
@@ -13,7 +13,7 @@ variables:
-
fp-timing
script
:
# prepare
-
. build/opam-ci.sh
coq "$COQ_VERSION"
-
. build/opam-ci.sh
$OPAM_PINS
-
env | egrep '^(CI_BUILD_REF|CI_RUNNER)' > build-env.txt
# build
-
'
time
make
-k
-j$CPU_CORES
TIMED=y
2>&1
|
tee
build-log.txt'
...
...
@@ -41,17 +41,17 @@ opam:
build-coq.8.7.dev
:
<<
:
*template
variables
:
COQ_VERSION
:
"
8.7.dev"
OPAM_PINS
:
"
coq
version
8.7.dev"
build-coq.8.7
:
<<
:
*template
variables
:
COQ_VERSION
:
"
8.7.0"
OPAM_PINS
:
"
coq
version
8.7.0"
build-coq.8.6.1
:
<<
:
*template
variables
:
COQ_VERSION
:
"
8.6.1"
OPAM_PINS
:
"
coq
version
8.6.1"
VALIDATE
:
"
1"
artifacts
:
paths
:
...
...
@@ -61,5 +61,5 @@ build-coq.8.6.1:
build-coq.8.6
:
<<
:
*template
variables
:
COQ_VERSION
:
"
8.6"
OPAM_PINS
:
"
coq
version
8.6"
build/opam-ci.sh
View file @
b5199648
...
...
@@ -47,14 +47,16 @@ echo
echo
while
((
"$#"
))
;
do
# while there are arguments left
PACKAGE
=
"
$1
"
;
shift
KIND
=
"
$1
"
;
shift
VERSION
=
"
$1
"
;
shift
# Check if the pin is already set
if
opam pin list | fgrep
"
$PACKAGE
.
$VERSION
"
>
/dev/null
;
then
echo
"[opam-ci]
$PACKAGE
already pinned to
$VERSION
"
read
-a
PIN
<<<
$(
opam pin list |
(
egrep
"^
$PACKAGE
[. ]"
)
)
if
[[
"
${
PIN
[1]
}
"
==
"
$KIND
"
&&
"
${
PIN
[2]
}
"
==
"
$VERSION
"
]]
;
then
echo
"[opam-ci]
$PACKAGE
already
$KIND
-pinned to
$VERSION
"
else
echo
"[opam-ci]
P
inning
$PACKAGE
to
$VERSION
"
run_and_print opam pin add
-y
-k
version
"
$PACKAGE
"
"
$VERSION
"
echo
"[opam-ci]
$KIND
-p
inning
$PACKAGE
to
$VERSION
"
run_and_print opam pin add
-y
-k
"
$KIND
"
"
$PACKAGE
"
"
$VERSION
"
fi
done
...
...
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