[SCM] mona packaging branch, master, updated. upstream/1.4-2-17-g7d5620d

Ralf Treinen treinen at free.fr
Wed May 11 20:41:08 UTC 2011


The following commit has been merged in the master branch:
commit fabb276bd4815aaa4b2611cefaa61bad178a8bc3
Author: Ralf Treinen <treinen at debian.org>
Date:   Fri Aug 5 21:31:32 2005 +0200

    Imported Debian patch 1.4-7-4

diff --git a/Examples/makefile b/Examples/makefile
deleted file mode 100644
index 321717b..0000000
--- a/Examples/makefile
+++ /dev/null
@@ -1,295 +0,0 @@
-# makefile.in generated by automake 1.7.8 from makefile.am.
-# Examples/makefile.  Generated from makefile.in by configure.
-
-# Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003
-# Free Software Foundation, Inc.
-# This Makefile.in is free software; the Free Software Foundation
-# gives unlimited permission to copy and/or distribute it,
-# with or without modifications, as long as this notice is preserved.
-
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
-# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
-# PARTICULAR PURPOSE.
-
-
-
-srcdir = .
-top_srcdir = ..
-
-pkgdatadir = $(datadir)/mona
-pkglibdir = $(libdir)/mona
-pkgincludedir = $(includedir)/mona
-top_builddir = ..
-
-am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
-INSTALL = /usr/bin/install -c
-install_sh_DATA = $(install_sh) -c -m 644
-install_sh_PROGRAM = $(install_sh) -c
-install_sh_SCRIPT = $(install_sh) -c
-INSTALL_HEADER = $(INSTALL_DATA)
-transform = $(program_transform_name)
-NORMAL_INSTALL = :
-PRE_INSTALL = :
-POST_INSTALL = :
-NORMAL_UNINSTALL = :
-PRE_UNINSTALL = :
-POST_UNINSTALL = :
-ACLOCAL = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run aclocal-1.7
-AMDEP_FALSE = #
-AMDEP_TRUE = 
-AMTAR = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run tar
-AUTOCONF = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run autoconf
-AUTOHEADER = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run autoheader
-AUTOMAKE = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run automake-1.7
-AWK = gawk
-CC = gcc
-CCDEPMODE = depmode=gcc3
-CFG = 
-CFLAGS = -O3 -DNDEBUG -Wall
-CPP = gcc -E
-CPPFLAGS = 
-CXX = g++
-CXXDEPMODE = depmode=gcc3
-CXXFLAGS = -O3 -DNDEBUG -Wall
-CYGPATH_W = echo
-DEFS = -DHAVE_CONFIG_H
-DEPDIR = .deps
-ECHO_C = 
-ECHO_N = -n
-ECHO_T = 
-EGREP = grep -E
-EXEEXT = 
-INSTALL_DATA = ${INSTALL} -m 644
-INSTALL_PROGRAM = ${INSTALL}
-INSTALL_SCRIPT = ${INSTALL}
-INSTALL_STRIP_PROGRAM = ${SHELL} $(install_sh) -c -s
-LDFLAGS = 
-LEX = flex
-LEXLIB = -lfl
-LEX_OUTPUT_ROOT = lex.yy
-LIBOBJS = 
-LIBS = 
-LTLIBOBJS = 
-MAKEINFO = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run makeinfo
-OBJEXT = o
-PACKAGE = mona
-PACKAGE_BUGREPORT = 
-PACKAGE_NAME = mona
-PACKAGE_STRING = mona 1.4
-PACKAGE_TARNAME = mona
-PACKAGE_VERSION = 1.4
-PATH_SEPARATOR = :
-RANLIB = ranlib
-RELEASE = 7
-SET_MAKE = 
-SHELL = /bin/sh
-STRIP = 
-VERSION = 1.4
-YACC = bison -y
-ac_ct_CC = gcc
-ac_ct_CXX = g++
-ac_ct_RANLIB = ranlib
-ac_ct_STRIP = 
-am__fastdepCC_FALSE = #
-am__fastdepCC_TRUE = 
-am__fastdepCXX_FALSE = #
-am__fastdepCXX_TRUE = 
-am__include = include
-am__leading_dot = .
-am__quote = 
-bindir = ${exec_prefix}/bin
-build_alias = 
-datadir = ${prefix}/share
-exec_prefix = ${prefix}
-host_alias = 
-includedir = ${prefix}/include
-infodir = ${prefix}/info
-install_sh = /home/rt/debian/packages/own/mona/mona-1.4-7/config/install-sh
-libdir = ${exec_prefix}/lib
-libexecdir = ${exec_prefix}/libexec
-localstatedir = ${prefix}/var
-mandir = ${prefix}/man
-oldincludedir = /usr/include
-prefix = /usr
-program_transform_name = s,x,x,
-sbindir = ${exec_prefix}/sbin
-sharedstatedir = ${prefix}/com
-sysconfdir = ${prefix}/etc
-target_alias = 
-MAINTAINERCLEANFILES = makefile.in makefile html.gta \
-	presburger_plus_012.dfa presburger_less_01.dfa \
-	presburger_timestwo_01.dfa presburger_const42.dfa
-
-CLEANFILES = bdd_example.o gta_example.o presburger_analysis.o presburger_transduction.o \
-	bdd_example gta_example presburger_analysis presburger_transduction
-
-EXTRA_DIST = bdd_volatility ab1.mona even_with_pred.mona minusmodulo.mona \
-	regexp.mona ab2.mona html.mona nadder.mona even.mona hyman.mona \
-	plusmodulo.mona even_with_assert.mona lossy_queue.mona presburger.mona \
-	bdd_example.c gta_example.c presburger_analysis.c presburger_transduction.c
-
-
-COMPILE = $(CC) -O3 -DNDEBUG -Wall
-subdir = Examples
-ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
-mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
-CONFIG_HEADER = $(top_builddir)/config.h
-CONFIG_CLEAN_FILES =
-DIST_SOURCES =
-DIST_COMMON = $(srcdir)/makefile.in makefile.am
-all: all-am
-
-.SUFFIXES:
-$(srcdir)/makefile.in:  makefile.am  $(top_srcdir)/configure.in $(ACLOCAL_M4)
-	cd $(top_srcdir) && \
-	  $(AUTOMAKE) --gnu  Examples/makefile
-makefile:  $(srcdir)/makefile.in  $(top_builddir)/config.status
-	cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)
-uninstall-info-am:
-tags: TAGS
-TAGS:
-
-ctags: CTAGS
-CTAGS:
-
-DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
-
-top_distdir = ..
-distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)
-
-distdir: $(DISTFILES)
-	@srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; \
-	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's|.|.|g'`; \
-	list='$(DISTFILES)'; for file in $$list; do \
-	  case $$file in \
-	    $(srcdir)/*) file=`echo "$$file" | sed "s|^$$srcdirstrip/||"`;; \
-	    $(top_srcdir)/*) file=`echo "$$file" | sed "s|^$$topsrcdirstrip/|$(top_builddir)/|"`;; \
-	  esac; \
-	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
-	  dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
-	  if test "$$dir" != "$$file" && test "$$dir" != "."; then \
-	    dir="/$$dir"; \
-	    $(mkinstalldirs) "$(distdir)$$dir"; \
-	  else \
-	    dir=''; \
-	  fi; \
-	  if test -d $$d/$$file; then \
-	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
-	      cp -pR $(srcdir)/$$file $(distdir)$$dir || exit 1; \
-	    fi; \
-	    cp -pR $$d/$$file $(distdir)$$dir || exit 1; \
-	  else \
-	    test -f $(distdir)/$$file \
-	    || cp -p $$d/$$file $(distdir)/$$file \
-	    || exit 1; \
-	  fi; \
-	done
-check-am: all-am
-check: check-am
-all-am: makefile
-
-installdirs:
-install: install-am
-install-exec: install-exec-am
-install-data: install-data-am
-uninstall: uninstall-am
-
-install-am: all-am
-	@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
-
-installcheck: installcheck-am
-install-strip:
-	$(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
-	  INSTALL_STRIP_FLAG=-s \
-	  `test -z '$(STRIP)' || \
-	    echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
-mostlyclean-generic:
-
-clean-generic:
-	-test -z "$(CLEANFILES)" || rm -f $(CLEANFILES)
-
-distclean-generic:
-	-rm -f $(CONFIG_CLEAN_FILES)
-
-maintainer-clean-generic:
-	@echo "This command is intended for maintainers to use"
-	@echo "it deletes files that may require special tools to rebuild."
-	-test -z "$(MAINTAINERCLEANFILES)" || rm -f $(MAINTAINERCLEANFILES)
-clean: clean-am
-
-clean-am: clean-generic mostlyclean-am
-
-distclean: distclean-am
-	-rm -f Makefile
-distclean-am: clean-am distclean-generic
-
-dvi: dvi-am
-
-dvi-am:
-
-info: info-am
-
-info-am:
-
-install-data-am:
-
-install-exec-am:
-
-install-info: install-info-am
-
-install-man:
-
-installcheck-am:
-
-maintainer-clean: maintainer-clean-am
-	-rm -f Makefile
-maintainer-clean-am: distclean-am maintainer-clean-generic
-
-mostlyclean: mostlyclean-am
-
-mostlyclean-am: mostlyclean-generic
-
-pdf: pdf-am
-
-pdf-am:
-
-ps: ps-am
-
-ps-am:
-
-uninstall-am: uninstall-info-am
-
-.PHONY: all all-am check check-am clean clean-generic distclean \
-	distclean-generic distdir dvi dvi-am info info-am install \
-	install-am install-data install-data-am install-exec \
-	install-exec-am install-info install-info-am install-man \
-	install-strip installcheck installcheck-am installdirs \
-	maintainer-clean maintainer-clean-generic mostlyclean \
-	mostlyclean-generic pdf pdf-am ps ps-am uninstall uninstall-am \
-	uninstall-info-am
-
-
-examples: bdd_example gta_example presburger_analysis presburger_transduction
-
-bdd_example: bdd_example.o
-	$(COMPILE) -o bdd_example bdd_example.o ../BDD/libbdd.a ../Mem/libmem.a
-
-gta_example: gta_example.o
-	$(COMPILE) -o gta_example gta_example.o ../GTA/libgta.a ../BDD/libbdd.a ../Mem/libmem.a
-
-presburger_transduction: presburger_transduction.o
-	$(COMPILE) -o presburger_transduction presburger_transduction.o \
-	../DFA/libdfa.a ../BDD/libbdd.a ../Mem/libmem.a
-
-presburger_analysis: presburger_analysis.o
-	$(COMPILE) -o presburger_analysis presburger_analysis.o \
-	../DFA/libdfa.a ../BDD/libbdd.a ../Mem/libmem.a
-
-%.o:    %.c
-	$(COMPILE) -I../Mem -I../BDD -I../DFA -I../GTA -c $<
-
-.PHONY:	examples
-# Tell versions [3.59,3.63) of GNU make to not export all variables.
-# Otherwise a system limit (for SysV at least) may be exceeded.
-.NOEXPORT:
diff --git a/config/makefile b/config/makefile
deleted file mode 100644
index 9dde01d..0000000
--- a/config/makefile
+++ /dev/null
@@ -1,264 +0,0 @@
-# makefile.in generated by automake 1.7.8 from makefile.am.
-# config/makefile.  Generated from makefile.in by configure.
-
-# Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003
-# Free Software Foundation, Inc.
-# This Makefile.in is free software; the Free Software Foundation
-# gives unlimited permission to copy and/or distribute it,
-# with or without modifications, as long as this notice is preserved.
-
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY, to the extent permitted by law; without
-# even the implied warranty of MERCHANTABILITY or FITNESS FOR A
-# PARTICULAR PURPOSE.
-
-
-
-srcdir = .
-top_srcdir = ..
-
-pkgdatadir = $(datadir)/mona
-pkglibdir = $(libdir)/mona
-pkgincludedir = $(includedir)/mona
-top_builddir = ..
-
-am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
-INSTALL = /usr/bin/install -c
-install_sh_DATA = $(install_sh) -c -m 644
-install_sh_PROGRAM = $(install_sh) -c
-install_sh_SCRIPT = $(install_sh) -c
-INSTALL_HEADER = $(INSTALL_DATA)
-transform = $(program_transform_name)
-NORMAL_INSTALL = :
-PRE_INSTALL = :
-POST_INSTALL = :
-NORMAL_UNINSTALL = :
-PRE_UNINSTALL = :
-POST_UNINSTALL = :
-ACLOCAL = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run aclocal-1.7
-AMDEP_FALSE = #
-AMDEP_TRUE = 
-AMTAR = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run tar
-AUTOCONF = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run autoconf
-AUTOHEADER = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run autoheader
-AUTOMAKE = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run automake-1.7
-AWK = gawk
-CC = gcc
-CCDEPMODE = depmode=gcc3
-CFG = 
-CFLAGS = -O3 -DNDEBUG -Wall
-CPP = gcc -E
-CPPFLAGS = 
-CXX = g++
-CXXDEPMODE = depmode=gcc3
-CXXFLAGS = -O3 -DNDEBUG -Wall
-CYGPATH_W = echo
-DEFS = -DHAVE_CONFIG_H
-DEPDIR = .deps
-ECHO_C = 
-ECHO_N = -n
-ECHO_T = 
-EGREP = grep -E
-EXEEXT = 
-INSTALL_DATA = ${INSTALL} -m 644
-INSTALL_PROGRAM = ${INSTALL}
-INSTALL_SCRIPT = ${INSTALL}
-INSTALL_STRIP_PROGRAM = ${SHELL} $(install_sh) -c -s
-LDFLAGS = 
-LEX = flex
-LEXLIB = -lfl
-LEX_OUTPUT_ROOT = lex.yy
-LIBOBJS = 
-LIBS = 
-LTLIBOBJS = 
-MAKEINFO = ${SHELL} /home/rt/debian/packages/own/mona/mona-1.4-7/config/missing --run makeinfo
-OBJEXT = o
-PACKAGE = mona
-PACKAGE_BUGREPORT = 
-PACKAGE_NAME = mona
-PACKAGE_STRING = mona 1.4
-PACKAGE_TARNAME = mona
-PACKAGE_VERSION = 1.4
-PATH_SEPARATOR = :
-RANLIB = ranlib
-RELEASE = 7
-SET_MAKE = 
-SHELL = /bin/sh
-STRIP = 
-VERSION = 1.4
-YACC = bison -y
-ac_ct_CC = gcc
-ac_ct_CXX = g++
-ac_ct_RANLIB = ranlib
-ac_ct_STRIP = 
-am__fastdepCC_FALSE = #
-am__fastdepCC_TRUE = 
-am__fastdepCXX_FALSE = #
-am__fastdepCXX_TRUE = 
-am__include = include
-am__leading_dot = .
-am__quote = 
-bindir = ${exec_prefix}/bin
-build_alias = 
-datadir = ${prefix}/share
-exec_prefix = ${prefix}
-host_alias = 
-includedir = ${prefix}/include
-infodir = ${prefix}/info
-install_sh = /home/rt/debian/packages/own/mona/mona-1.4-7/config/install-sh
-libdir = ${exec_prefix}/lib
-libexecdir = ${exec_prefix}/libexec
-localstatedir = ${prefix}/var
-mandir = ${prefix}/man
-oldincludedir = /usr/include
-prefix = /usr
-program_transform_name = s,x,x,
-sbindir = ${exec_prefix}/sbin
-sharedstatedir = ${prefix}/com
-sysconfdir = ${prefix}/etc
-target_alias = 
-MAINTAINERCLEANFILES = makefile.in makefile mkinstalldirs install-sh \
-	ltmain.sh ltconfig config.sub config.guess depcomp
-
-EXTRA_DIST = rpm-config init devel
-subdir = config
-ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
-mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
-CONFIG_HEADER = $(top_builddir)/config.h
-CONFIG_CLEAN_FILES =
-DIST_SOURCES =
-DIST_COMMON = $(srcdir)/makefile.in compile depcomp install-sh \
-	makefile.am missing mkinstalldirs
-all: all-am
-
-.SUFFIXES:
-$(srcdir)/makefile.in:  makefile.am  $(top_srcdir)/configure.in $(ACLOCAL_M4)
-	cd $(top_srcdir) && \
-	  $(AUTOMAKE) --gnu  config/makefile
-makefile:  $(srcdir)/makefile.in  $(top_builddir)/config.status
-	cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)
-uninstall-info-am:
-tags: TAGS
-TAGS:
-
-ctags: CTAGS
-CTAGS:
-
-DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
-
-top_distdir = ..
-distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)
-
-distdir: $(DISTFILES)
-	@srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`; \
-	topsrcdirstrip=`echo "$(top_srcdir)" | sed 's|.|.|g'`; \
-	list='$(DISTFILES)'; for file in $$list; do \
-	  case $$file in \
-	    $(srcdir)/*) file=`echo "$$file" | sed "s|^$$srcdirstrip/||"`;; \
-	    $(top_srcdir)/*) file=`echo "$$file" | sed "s|^$$topsrcdirstrip/|$(top_builddir)/|"`;; \
-	  esac; \
-	  if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
-	  dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
-	  if test "$$dir" != "$$file" && test "$$dir" != "."; then \
-	    dir="/$$dir"; \
-	    $(mkinstalldirs) "$(distdir)$$dir"; \
-	  else \
-	    dir=''; \
-	  fi; \
-	  if test -d $$d/$$file; then \
-	    if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
-	      cp -pR $(srcdir)/$$file $(distdir)$$dir || exit 1; \
-	    fi; \
-	    cp -pR $$d/$$file $(distdir)$$dir || exit 1; \
-	  else \
-	    test -f $(distdir)/$$file \
-	    || cp -p $$d/$$file $(distdir)/$$file \
-	    || exit 1; \
-	  fi; \
-	done
-check-am: all-am
-check: check-am
-all-am: makefile
-
-installdirs:
-install: install-am
-install-exec: install-exec-am
-install-data: install-data-am
-uninstall: uninstall-am
-
-install-am: all-am
-	@$(MAKE) $(AM_MAKEFLAGS) install-exec-am install-data-am
-
-installcheck: installcheck-am
-install-strip:
-	$(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
-	  INSTALL_STRIP_FLAG=-s \
-	  `test -z '$(STRIP)' || \
-	    echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
-mostlyclean-generic:
-
-clean-generic:
-
-distclean-generic:
-	-rm -f $(CONFIG_CLEAN_FILES)
-
-maintainer-clean-generic:
-	@echo "This command is intended for maintainers to use"
-	@echo "it deletes files that may require special tools to rebuild."
-	-test -z "$(MAINTAINERCLEANFILES)" || rm -f $(MAINTAINERCLEANFILES)
-clean: clean-am
-
-clean-am: clean-generic mostlyclean-am
-
-distclean: distclean-am
-	-rm -f Makefile
-distclean-am: clean-am distclean-generic
-
-dvi: dvi-am
-
-dvi-am:
-
-info: info-am
-
-info-am:
-
-install-data-am:
-
-install-exec-am:
-
-install-info: install-info-am
-
-install-man:
-
-installcheck-am:
-
-maintainer-clean: maintainer-clean-am
-	-rm -f Makefile
-maintainer-clean-am: distclean-am maintainer-clean-generic
-
-mostlyclean: mostlyclean-am
-
-mostlyclean-am: mostlyclean-generic
-
-pdf: pdf-am
-
-pdf-am:
-
-ps: ps-am
-
-ps-am:
-
-uninstall-am: uninstall-info-am
-
-.PHONY: all all-am check check-am clean clean-generic distclean \
-	distclean-generic distdir dvi dvi-am info info-am install \
-	install-am install-data install-data-am install-exec \
-	install-exec-am install-info install-info-am install-man \
-	install-strip installcheck installcheck-am installdirs \
-	maintainer-clean maintainer-clean-generic mostlyclean \
-	mostlyclean-generic pdf pdf-am ps ps-am uninstall uninstall-am \
-	uninstall-info-am
-
-# Tell versions [3.59,3.63) of GNU make to not export all variables.
-# Otherwise a system limit (for SysV at least) may be exceeded.
-.NOEXPORT:
diff --git a/debian/changelog b/debian/changelog
index 850867f..103b36b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,13 @@
+mona (1.4-7-4) unstable; urgency=low
+
+  * Compile with -O2 instead of -O3 on m68k in order to resolve FTBFS on
+    m68k which is due to a gcc-4.0 bug.
+  * Let "debian/rules clean" also remove the generated makefiles in
+    Examples/ and config/
+  * Switch from dh_installmanpages to dh_installman.
+
+ -- Ralf Treinen <treinen at debian.org>  Fri,  5 Aug 2005 21:31:32 +0200
+
 mona (1.4-7-3) unstable; urgency=low
 
   * Recommends graphiz (instead of Suggests).
diff --git a/debian/rules b/debian/rules
index 489a91b..208fad0 100755
--- a/debian/rules
+++ b/debian/rules
@@ -3,14 +3,20 @@
 
 include /usr/share/dpatch/dpatch.make
 
+# workaround for gcc-4.0 bug on m68k
+export DEB_HOST_ARCH = $(shell dpkg-architecture -qDEB_HOST_ARCH)
+ifeq ($(DEB_HOST_ARCH),m68k)
+  OPTFLAGS = -O2
+else			
+  OPTFLAGS = -O3
+endif
+
 ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
      OPTFLAGS = -O0
-else
-     OPTFLAGS = -O3
 endif
 
 # these files are generated by configure but not purged by make distclean
-GENERATED_MAKEFILES = makefile BDD/makefile DFA/makefile GTA/makefile Lib/makefile Mem/makefile Front/makefile
+GENERATED_MAKEFILES = makefile BDD/makefile DFA/makefile GTA/makefile Lib/makefile Mem/makefile Front/makefile Examples/makefile config/makefile
 
 makefile: patch
 	dh_testdir
@@ -45,7 +51,7 @@ binary-arch: build install
 	dh_installdocs README
 	dh_installexamples Examples/*
 	dh_installemacsen
-	dh_installmanpages
+	dh_installman mona.1
 	dh_installchangelogs 
 	dh_strip
 	dh_compress

-- 
mona packaging



More information about the debian-science-commits mailing list