← Back to branch summary

~ubuntu-branches/ubuntu/quantal/menhir/quantal

« back to all changes in this revision

Viewing changes to Makefile

  • Committer: Bazaar Package Importer
  • Author(s): Mehdi Dogguy, Stéphane Glondu, Mehdi Dogguy
  • Date: 2011-04-16 00:12:54 UTC
  • mfrom: (1.1.7 upstream) (2.1.5 sid)
  • Revision ID: james.westby@ubuntu.com-20110416001254-orcso5c2dktmds4x
Tags: 20110201.dfsg-1
http://bugs.debian.org/603335
[ Stéphane Glondu ]
* Do not install examples twice (Closes: #603335)

[ Mehdi Dogguy ]
* New upstream release.
* Set filter-pristine-tar to True in debian/gbp.conf.

Show diffs side-by-side

added added

removed removed

Lines of Context:
Makefile
35
35
MANS            := menhir.1
36
36
DOCS            := manual.pdf demos
37
37
MLYLIB          := src/standard.mly
 
38
 
 
39
# -------------------------------------------------------------------------
 
40
 
 
41
# Building menhirLib.
 
42
 
 
43
ifeq ($(TARGET),byte)
 
44
MENHIRLIB       := menhirLib.cmi menhirLib.cmo
 
45
else
38
46
MENHIRLIB       := menhirLib.cmi menhirLib.cmo menhirLib.cmx menhirLib.o
 
47
endif
39
48
 
40
49
# ----------------------------------------------------------------------------
41
50
# Compilation.
46
55
 
47
56
src/menhir: src/installation.ml
48
57
        $(MAKE) -C src -f Makefile
49
 
        $(MAKE) -C src -f Makefile lib
 
58
        $(MAKE) -C src -f Makefile $(MENHIRLIB)
50
59
 
51
60
# Record some installation time settings within the menhir binary.
52
61