Skip to content

Commit 456bff4

Browse files
committed
Revert "Update makefile to opam.0.4"
This reverts commit 8e2315e.
1 parent 4759237 commit 456bff4

File tree

1 file changed

+9
-6
lines changed

1 file changed

+9
-6
lines changed

Makefile

Lines changed: 9 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,22 @@
11
.PHONY: all
22

3-
all: full
3+
all: index index-archive full
44
@
55

6-
index-only:
7-
opam-mk-repo -index
6+
index:
7+
git ls-tree -r HEAD | awk '{print "0o"substr($$1,length($$1)-3,4) " " $$4}' > urls.txt
8+
9+
index-archive:
10+
tar cz compilers opam descr url > index.tar.gz
811

912
full:
10-
opam-mk-repo -all
13+
opam-mk-repo
1114

12-
PUBLISH_DIR=../opam.ocamlpro.com/
15+
PUBLISH_DIR=../mirage.github.com/opam/
1316
publish: index index-archive
1417
mkdir -p $(PUBLISH_DIR)
1518
rsync -avz --delete urls.txt index.tar.gz compilers archives descr opam url files $(PUBLISH_DIR)
1619

1720
clean:
18-
rm -rf archives
21+
rm -rf archives tmp
1922

0 commit comments

Comments
 (0)