Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

file 42 lines (32 sloc) 0.885 kb
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42
MIRROR = git@github.com:OCamlPro/opam.ocamlpro.com.git
OPAMREPO = git://github.com/OCamlPro/opam-repository.git

.PHONY: all

all:
$(MAKE) pull
$(MAKE) update-upstream
$(MAKE) build-archives
$(MAKE) update-archives
$(MAKE) update-index
# $(MAKE) mirror

build-archives:
opam-mk-repo --all

index:
opam-mk-repo --index

pull:
git pull $(OPAMREPO) master

mirror:
git push $(MIRROR) master

update-upstream:
if [ "`git diff --cached packages compilers`"1 != 1 ]; then \
git commit opam descr url files compilers -m "Import modifications from upstream";\
fi

update-archives:
git add archives && if [ "`git diff --cached archives`"1 != "1" ]; then \
git commit archives -m "Update archives"; \
fi

update-index:
if [ "`git diff urls.txt index.tar.gz`"1 != 1 ]; then \
git commit urls.txt index.tar.gz -m "Update index"; \
fi

clean:
rm -rf archives tmp
Something went wrong with that request. Please try again.