From a31f8df974adefb6376db2f355cf58b34f77d2cf Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 11 Dec 2017 22:05:57 +0100
Subject: [PATCH] try to cache /home/opam/.opam/4.05.0/bin to see if it works
better
---
.gitlab-ci.yml | 2 +-
_oasis | 2 +-
doc/version.tex | 4 ++--
setup.ml | 6 +++---
src/META | 4 ++--
src/lutilsVersion.ml | 4 ++--
6 files changed, 11 insertions(+), 11 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6cd65a4..f9c2cc4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -16,7 +16,7 @@ build:
- make install
- find /home/opam/.opam/4.05.0/ -name gnuplot-rif -print
cache:
- untracked: true
+ paths: /home/opam/.opam/4.05.0/bin
test:
stage: test
diff --git a/_oasis b/_oasis
index 0557539..338377a 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
OASISFormat: 0.4
Name: lutils
-Version: 1.35
+Version: 1.36
Authors: Erwan Jahier
Maintainers: erwan.jahier@imag.fr
License: GPL-3
diff --git a/doc/version.tex b/doc/version.tex
index e955fea..ec5c925 100644
--- a/doc/version.tex
+++ b/doc/version.tex
@@ -1,4 +1,4 @@
-\newcommand{\version}{1.35}
-\newcommand{\sha}{25bc361}
+\newcommand{\version}{1.36}
+\newcommand{\sha}{e4a1814}
\newcommand{\versionname}{none}
\newcommand{\versiondate}{11-12-17}
diff --git a/setup.ml b/setup.ml
index 2c2c152..4cb21bb 100644
--- a/setup.ml
+++ b/setup.ml
@@ -1,7 +1,7 @@
(* setup.ml generated for the first time by OASIS v0.4.10 *)
(* OASIS_START *)
-(* DO NOT EDIT (digest: 46805bdb22b1e376e84d6cf7789a688d) *)
+(* DO NOT EDIT (digest: cc313ba49bad215a140d139e5d7b8539) *)
(*
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.35";
+ version = "1.36";
license =
OASISLicense.DEP5License
(OASISLicense.DEP5Unit
@@ -7254,7 +7254,7 @@ let setup_t =
};
oasis_fn = Some "_oasis";
oasis_version = "0.4.10";
- oasis_digest = Some "N\220s)t\189\"}#\148\186\031G\200k_";
+ oasis_digest = Some "O\247\188\158\202\171\011\177\021H\176Un\253>\226";
oasis_exec = None;
oasis_setup_args = [];
setup_update = false
diff --git a/src/META b/src/META
index 70d0b1d..394d537 100644
--- a/src/META
+++ b/src/META
@@ -1,6 +1,6 @@
# OASIS_START
-# DO NOT EDIT (digest: 591a1887a77a62fb7c61cd277aace1b2)
-version = "1.35"
+# DO NOT EDIT (digest: 87551453a62e5cf1e05cd9794ed57eaf)
+version = "1.36"
description = "shared by Verimag/synchronous tools (lustre, lutin, rdbg)."
requires = "unix str camlp4 num"
archive(byte) = "lutils.cma"
diff --git a/src/lutilsVersion.ml b/src/lutilsVersion.ml
index 04c48da..5d7c51a 100644
--- a/src/lutilsVersion.ml
+++ b/src/lutilsVersion.ml
@@ -1,2 +1,2 @@
-let str="1.35"
-let sha="25bc361"
+let str="1.36"
+let sha="e4a1814"
--
GitLab