Commit 4aa73c80 authored by POTTIER Francois's avatar POTTIER Francois

GNUmakefile.

parent 659543d4
......@@ -118,35 +118,10 @@ tag:
# This entry assumes that "make package" and "make export" have been
# run on the same day.
OPAM := $(HOME)/dev/opam-repository
CSUM = $(shell $(MD5SUM) visitors-$(DATE).tar.gz | cut -d ' ' -f 1)
opam:
# Update my local copy of the opam repository.
@ echo "Updating local opam repository..."
@ cd $(OPAM) && \
git fetch upstream && \
git merge upstream/master
# Create a new package, based on the last one.
@ echo "Creating a new package description visitors-$(DATE)..."
@ cd $(OPAM)/packages/visitors && \
cp -r `ls | grep visitors | tail -1` visitors.$(DATE)
# Update the file "url".
@ cd $(OPAM)/packages/visitors/visitors.$(DATE) && \
rm url && \
echo 'archive: "http://gallium.inria.fr/~fpottier/visitors/visitors-$(DATE).tar.gz"' >> url && \
echo 'checksum: "$(CSUM)"' >> url
# Copy the file "opam" from Visitors's repository to opam's.
@ cp -f opam $(OPAM)/packages/visitors/visitors.$(DATE)
# Prepare a commit.
@ echo "Preparing a new commit..."
@ cd $(OPAM)/packages/visitors && \
git add visitors.$(DATE) && \
git status
# Ask for review.
@ echo "If happy, please run:"
@ echo " cd $(OPAM)/packages/visitors && git commit -a && git push && firefox https://github.com/"
@ echo "and issue a pull request."
echo "This GNUmakefile entry needs to be updated to use opam publish."
# -------------------------------------------------------------------------
......
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