Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
tree: 8afbd3b06c
Fetching contributors…

Cannot retrieve contributors at this time

64 lines (49 sloc) 1.838 kB
ACLOCAL_AMFLAGS = -I build-aux
bin_PROGRAMS = marshall
marshall_SOURCES =
marshall_DATA = prelude.asd
EXTRA_DIST = prelude.asd tests examples src etc COPYRIGHT.txt README.md
marshalldir=$(datarootdir)/marshall
# The main program (without the .ml extension)
MARSHALLTARGET=src/marshall
# How to compile
MARSHALLOCAMLBUILD=$(OCAMLBUILD) -use-menhir -lib nums -lib unix
.PHONY: test test-validate test-clean src/version.ml \
marshall.byte marshall.native marshall.d.byte marshall.p.native
marshall: marshall.$(BUILDBEST)
cd $(srcdir) && \
cp marshall.$(BUILDBEST) marshall
marshall.byte: src/version.ml
cd $(srcdir) && \
$(MARSHALLOCAMLBUILD) $(MARSHALLTARGET).byte
marshall.native: src/version.ml
cd $(srcdir) && \
$(MARSHALLOCAMLBUILD) $(MARSHALLTARGET).native
marshall.d.byte: src/version.ml
cd $(srcdir) && $(MARSHALLOCAMLBUILD) $(MARSHALLTARGET).d.byte
marshall.p.native: src/version.ml
cd $(srcdir) && $(MARSHALLOCAMLBUILD) $(MARSHALLTARGET).p.native
src/version.ml:
echo "let version=\"$(PACKAGE_VERSION)\";; let marshalldir=\"$(marshalldir)\";;" > src/version.ml
# Explain parser conflicts in the file parser.conflicts
conflicts:
cd $(srcdir) ; \
$(MARSHALLOCAMLBUILD) -yaccflags "--explain" src/parser.mli ; \
if [ -f $(srcdir)/_build/src/parser.conflicts ]; \
then \
mv -f $(srcdir)/_build/src/parser.conflicts .; \
fi
# "make test" to see if anything broke
test: marshall.$(BUILDBEST)
cd $(srcdir)/tests && sh ./test.sh
# "make test-validate" to see if anything broke and ask for validation of possibly
# broken things.
test-validate:
cd $(srcdir)/tests && sh ./test.sh -v
# Clean up tests
test-clean:
cd $(srcdir) && rm -f tests/*.out tests/*/*.out
clean: test-clean
cd $(srcdir) && \
rm -f marshall marshall-$(PACKAGE_VERSION) src/version.ml && \
ocamlbuild -clean && rm -f parser.conflicts
Jump to Line
Something went wrong with that request. Please try again.