Skip to content
Snippets Groups Projects
Commit 21729ea4 authored by erwan's avatar erwan
Browse files

Add rules to feed the opam-test verimag repo

parent 08ab7246
No related branches found
No related tags found
No related merge requests found
......@@ -63,15 +63,25 @@ NAME=lutils
PACKNAME=$(NAME).$(PRE_VERSION)
WWW=/import/www/DIST-TOOLS/SYNCHRONE
HTTP=http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE
# for testing opam packages before publishing
WWWTEST=/import/www/DIST-TOOLS/SYNCHRONE/test
HTTPTEST=http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/test
$(PACKNAME).tgz:
git archive --prefix=$(PACKNAME)/ -o $(PACKNAME).tgz HEAD
$(WWW)/pool/$(PACKNAME).tgz: $(PACKNAME).tgz
mv $^ $@
$(WWWTEST)/pool/$(PACKNAME).tgz: $(PACKNAME).tgz
mv $^ $@
opam : $(WWW)/pool/$(PACKNAME).tgz
cd $(WWW)/opam-repository/packages && \
oasis2opam $(HTTP)/pool/$(PACKNAME).tgz && \
cd .. ; opam-admin check && opam-admin make -g
opam-test : $(WWWTEST)/pool/$(PACKNAME).tgz
cd $(WWWTEST)/opam-repository/packages && \
oasis2opam $(HTTPTEST)/pool/$(PACKNAME).tgz && \
cd .. ; opam-admin check && opam-admin make -g
OASISFormat: 0.4
Name: lutils
Version: 1.10
Version: 1.11
Authors: Erwan Jahier
Maintainers: erwan.jahier@imag.fr
License: GPL-3
......
\newcommand{\version}{1.10}
\newcommand{\sha}{f72f2b4}
\newcommand{\version}{1.11}
\newcommand{\sha}{08ab724}
\newcommand{\versionname}{none}
\newcommand{\versiondate}{01-12-16}
\newcommand{\versiondate}{10-03-17}
# OASIS_START
# DO NOT EDIT (digest: 54fedc79891273606f6979d57066839f)
version = "1.10"
# DO NOT EDIT (digest: f6253f3bb51ae8433d46c85a0b609a5e)
version = "1.11"
description = "shared by Verimag/synchronous tools (lustre, lutin, rdbg)."
requires = "unix str camlp4 num"
archive(byte) = "lutils.cma"
......
let str="1.10"
let sha="f72f2b4"
let str="1.11"
let sha="08ab724"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment