Commit 4ce9cf1f authored by erwan's avatar erwan
Browse files

fix the CI script: it also requires an opam version of ocamlfind

parent cca90229
Pipeline #1526 failed
......@@ -4,10 +4,9 @@ variables:
GIT_STRATEGY: clone
before_script:
- opam install camlp4
- camlp4
- opam install camlp4 ocamlfind
- eval `opam config env`
- camlp4
- which camlp4
stages:
- build
......@@ -24,3 +23,6 @@ test:
- cd test
- make test-batch
local_test:
- make
- make test-batch
OASISFormat: 0.4
Name: lutils
Version: 1.25
Version: 1.26
Authors: Erwan Jahier
Maintainers: erwan.jahier@imag.fr
License: GPL-3
......
\newcommand{\version}{1.25}
\newcommand{\sha}{67237ef}
\newcommand{\version}{1.26}
\newcommand{\sha}{cca9022}
\newcommand{\versionname}{none}
\newcommand{\versiondate}{08-12-17}
(* setup.ml generated for the first time by OASIS v0.4.10 *)
(* OASIS_START *)
(* DO NOT EDIT (digest: 463a243b6b026fa322a4e453fde9f9ca) *)
(* DO NOT EDIT (digest: fdce6d13a870129161e43f640f40d1e1) *)
(*
Regenerated by OASIS v0.4.10
Visit http://oasis.forge.ocamlcore.org for more information and
......@@ -6855,7 +6855,7 @@ let setup_t =
{
oasis_version = "0.4";
ocaml_version = None;
version = "1.25";
version = "1.26";
license =
OASISLicense.DEP5License
(OASISLicense.DEP5Unit
......@@ -7254,7 +7254,7 @@ let setup_t =
};
oasis_fn = Some "_oasis";
oasis_version = "0.4.10";
oasis_digest = Some "j.Nk0Tip\176)n\161\n\216?\002";
oasis_digest = Some "p\000\201\236F\230\220\184\190\184\1531YX6\131";
oasis_exec = None;
oasis_setup_args = [];
setup_update = false
......
# OASIS_START
# DO NOT EDIT (digest: 1a5bf4765347fb967080541e0ef6676c)
version = "1.25"
# DO NOT EDIT (digest: d266f1a9a54dfb9b24c48ef40fd0401a)
version = "1.26"
description = "shared by Verimag/synchronous tools (lustre, lutin, rdbg)."
requires = "unix str camlp4 num"
archive(byte) = "lutils.cma"
......
let str="1.25"
let sha="67237ef"
let str="1.26"
let sha="cca9022"
Supports Markdown
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