Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit b158b1c6 authored by erwan's avatar erwan
Browse files

Add rules to feed the opam-test verimag repo

parent 0940c233
......@@ -9,6 +9,7 @@
# 1 -A-> 1
# 1 -U-> 0
# to implement such a workflow, C puts a lock (state 1) and U removes it (state 0)
# To enforce its use, one has to use git via "make uv/ci/cia/amend"
###############################
# a few git shortcuts
......@@ -69,6 +70,10 @@ 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
......@@ -76,6 +81,9 @@ $(WWW)/pool/$(PACKNAME).tgz: $(PACKNAME).tgz
mv $^ $@
$(WWWTEST)/pool/$(PACKNAME).tgz: $(PACKNAME).tgz
mv $^ $@
OPAM_FILE=`find $(WWW)/opam-repository/packages -name opam -cmin -1 | sed -e 's/^./\U&/'`
opam : $(WWW)/pool/$(PACKNAME).tgz
cd $(WWW)/opam-repository/packages && \
......@@ -86,6 +94,15 @@ opam : $(WWW)/pool/$(PACKNAME).tgz
cp $(OPAM_FILE)-fixed $(OPAM_FILE) && \
cd .. ; opam-admin check && opam-admin make -g
OPAM_FILE_TEST=`find $(WWWTEST)/opam-repository/packages -name opam -cmin -1 | sed -e 's/^./\U&/'`
opam-test : $(WWWTEST)/pool/$(PACKNAME).tgz
cd $(WWWTEST)/opam-repository/packages && \
oasis2opam $(HTTPTEST)/pool/$(PACKNAME).tgz && \
echo "OPAM_FILE_TEST=$(OPAM_FILE_TEST)" && \
cat $(OPAM_FILE_TEST) | ocaml $(PWD)/utils/fixopam_file.ml > $(OPAM_FILE_TEST)-fixed && \
cp $(OPAM_FILE_TEST) $(OPAM_FILE_TEST).save && \
cp $(OPAM_FILE_TEST)-fixed $(OPAM_FILE_TEST) && \
cd .. ; opam-admin check && opam-admin make -g
.PHONY:install $(WWW)/pool/$(PACKNAME).tgz
oi:install
......
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