From 9a7f11259a8813f320162215bcee2de72f23731d Mon Sep 17 00:00:00 2001 From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr> Date: Fri, 6 Sep 2019 15:22:08 +0200 Subject: [PATCH] opam package for version 2.10.4 has been released --- Makefile | 5 +++-- Makefile.version | 1 + 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index e695948f..8dd44d9a 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ -build:gen_version +build: lib/sasacore/sasaVersion.ml dune build @install install: @@ -21,8 +21,9 @@ test-doc: clean: rm -f *.cmxs sasa *.cmi *.o *.cmx *.pdf + rm -f lib/sasacore/sasaVersion.ml dune clean cd test; make clean --include Makefile.local -include Makefile.version +-include Makefile.local diff --git a/Makefile.version b/Makefile.version index 50094420..52d180b2 100644 --- a/Makefile.version +++ b/Makefile.version @@ -7,6 +7,7 @@ VERSION=$(shell git describe --tags) del_version: rm -f lib/sasacore/sasaVersion.ml +uv:gen_version gen_version: del_version lib/sasacore/sasaVersion.ml lib/sasacore/sasaVersion.ml: -- GitLab