Commit b06976e4 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Test opam build.

parent f82588cd
Pipeline #134443 passed with stages
in 30 minutes and 49 seconds
stages:
- docker
- build
- test
- deploy
variables:
......@@ -45,6 +46,23 @@ build-latest:
- opam switch latest
<<: *build_definition
.opam_template: &opam_definition
stage: test
script:
- opam pin -y -n add coq-flocq .
- opam install -v coq-flocq
<<: *docker_definition
opam-minimal:
before_script:
- opam switch minimal
<<: *opam_definition
opam-latest:
before_script:
- opam switch latest
<<: *opam_definition
pages:
stage: deploy
script:
......
opam-version: "2.0"
maintainer: "guillaume.melquiond@inria.fr"
homepage: "http://flocq.gforge.inria.fr/"
dev-repo: "git+https://gitlab.inria.fr/flocq/flocq.git"
bug-reports: "https://gitlab.inria.fr/flocq/flocq/issues"
license: "LGPL 3"
build: [
["autoconf"] {dev}
["./configure"]
["./remake" "-j%{jobs}%"]
]
install: ["./remake" "install"]
depends: [
"coq" {>= "8.7"}
"conf-autoconf" {build}
("conf-g++" {build} | "conf-clang" {build})
]
tags: [ "keyword:floating point arithmetic" "logpath:Flocq" ]
authors: [ "Sylvie Boldo <sylvie.boldo@inria.fr>" "Guillaume Melquiond <guillaume.melquiond@inria.fr>" ]
synopsis: "A floating-point formalization for the Coq system"
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment