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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
################################################################################
# ODN: Dump data using OCaml notation #
# #
# Copyright (C) 2009-2011, OCamlCore SARL #
# #
# This library is free software; you can redistribute it and/or modify it #
# under the terms of the GNU Lesser General Public License as published by #
# the Free Software Foundation; either version 2.1 of the License, or (at #
# your option) any later version, with the OCaml static compilation #
# exception. #
# #
# This library is distributed in the hope that it will be useful, but #
# WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY #
# or FITNESS FOR A PARTICULAR PURPOSE. See the file COPYING for more #
# details. #
# #
# You should have received a copy of the GNU Lesser General Public License #
# along with this library; if not, write to the Free Software Foundation, #
# Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA #
################################################################################
test: build
#TESTFLAGS=-verbose
# OASIS_START
# DO NOT EDIT (digest: bc1e05bfc8b39b664f29dae8dbd3ebbb)
SETUP = ocaml setup.ml
build: setup.data
$(SETUP) -build $(BUILDFLAGS)
doc: setup.data build
$(SETUP) -doc $(DOCFLAGS)
test: setup.data build
$(SETUP) -test $(TESTFLAGS)
all:
$(SETUP) -all $(ALLFLAGS)
install: setup.data
$(SETUP) -install $(INSTALLFLAGS)
uninstall: setup.data
$(SETUP) -uninstall $(UNINSTALLFLAGS)
reinstall: setup.data
$(SETUP) -reinstall $(REINSTALLFLAGS)
clean:
$(SETUP) -clean $(CLEANFLAGS)
distclean:
$(SETUP) -distclean $(DISTCLEANFLAGS)
setup.data:
$(SETUP) -configure $(CONFIGUREFLAGS)
.PHONY: build doc test all install uninstall reinstall clean distclean configure
# OASIS_STOP
headache:
find ./ -name _darcs -prune -false -o -name _build -prune \
-false -o -type f \
| xargs headache -h _header -c _headache.config
.PHONY: headache
# Source distribution
dist: setup.data
if ! [ "$$(darcs diff | wc -l)" = 0 ]; then \
echo E: Uncommited changes >&2 ; exit 1; \
fi
$(MAKE) test
$(MAKE) dist-step2
-include setup.data
dist-step2:
darcs dist --dist-name $(pkg_name)-$(pkg_version)
if ! (darcs query tag | grep "$(pkg_version)" > /dev/null); then \
darcs tag "$(pkg_version)"; \
else \
echo W: Version $(pkg_version) already tagged >&2; \
fi
gpg -s -a -b "$(pkg_name)-$(pkg_version).tar.gz"
.PHONY: dist dist-step2
|
