aboutsummaryrefslogtreecommitdiff
path: root/lang/maude
diff options
context:
space:
mode:
authorAde Lovett <ade@FreeBSD.org>2010-10-05 19:57:56 +0000
committerAde Lovett <ade@FreeBSD.org>2010-10-05 19:57:56 +0000
commit7e80cde3289d108a73c54656f4fde354dd2fb09e (patch)
treeb85b705571d426ca1d0ff74b6af8f029081a6a39 /lang/maude
parent6abe3f75658b0457864b49c9fdaf298b79f2c447 (diff)
downloadports-7e80cde3289d108a73c54656f4fde354dd2fb09e.tar.gz
ports-7e80cde3289d108a73c54656f4fde354dd2fb09e.zip
Round one migration of ports from automake{19,110} to automake111
Notes
Notes: svn path=/head/; revision=262460
Diffstat (limited to 'lang/maude')
-rw-r--r--lang/maude/Makefile1
-rw-r--r--lang/maude/files/patch-src-Main-Makefile.am17
-rw-r--r--lang/maude/files/patch-src-Main-Makefile.in327
3 files changed, 327 insertions, 18 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile
index c3a24df59159..a93d3d39d1ca 100644
--- a/lang/maude/Makefile
+++ b/lang/maude/Makefile
@@ -20,7 +20,6 @@ LIB_DEPENDS= bdd:${PORTSDIR}/science/buddy \
gmp:${PORTSDIR}/math/gmp
USE_BISON= build
-USE_AUTOTOOLS= aclocal:19 automake:19
GNU_CONFIGURE= yes
CONFIGURE_ENV= CPPFLAGS="-I${LOCALBASE}/include" LDFLAGS="-L${LOCALBASE}/lib"
CONFIGURE_ARGS= --datadir=${DATADIR}
diff --git a/lang/maude/files/patch-src-Main-Makefile.am b/lang/maude/files/patch-src-Main-Makefile.am
deleted file mode 100644
index 9bc8ccfd1616..000000000000
--- a/lang/maude/files/patch-src-Main-Makefile.am
+++ /dev/null
@@ -1,17 +0,0 @@
---- src/Main/Makefile.am.orig 2008-08-11 01:13:04.000000000 +0200
-+++ src/Main/Makefile.am 2008-08-11 01:14:38.000000000 +0200
-@@ -1,5 +1,14 @@
- bin_PROGRAMS = maude
-
-+data_DATA = \
-+ prelude.maude \
-+ model-checker.maude \
-+ socket.maude \
-+ linear.maude \
-+ machine-int.maude \
-+ term-order.maude
-+
-+
- if BUILD_COMPILER
- FULL_COMPILER_LIB = ../FullCompiler/libfullCompiler.a
- endif
diff --git a/lang/maude/files/patch-src-Main-Makefile.in b/lang/maude/files/patch-src-Main-Makefile.in
new file mode 100644
index 000000000000..bc609e8061a0
--- /dev/null
+++ b/lang/maude/files/patch-src-Main-Makefile.in
@@ -0,0 +1,327 @@
+--- src/Main/Makefile.in.orig 2007-02-02 19:22:06.000000000 -0600
++++ src/Main/Makefile.in 2010-09-28 10:17:08.000000000 -0500
+@@ -1,2 +1,2 @@
+-# Makefile.in generated by automake 1.9.1 from Makefile.am.
++# Makefile.in generated by automake 1.10.3 from Makefile.am.
+ # @configure_input@
+@@ -4,3 +4,4 @@
+ # Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
+-# 2003, 2004 Free Software Foundation, Inc.
++# 2003, 2004, 2005, 2006, 2007, 2008, 2009 Free Software Foundation,
++# Inc.
+ # This Makefile.in is free software; the Free Software Foundation
+@@ -16,6 +17,3 @@
+
+-SOURCES = $(maude_SOURCES)
+
+-srcdir = @srcdir@
+-top_srcdir = @top_srcdir@
+ VPATH = @srcdir@
+@@ -24,5 +22,3 @@
+ pkgincludedir = $(includedir)/@PACKAGE@
+-top_builddir = ../..
+ am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
+-INSTALL = @INSTALL@
+ install_sh_DATA = $(install_sh) -c -m 644
+@@ -50,3 +46,3 @@
+ CONFIG_CLEAN_FILES =
+-am__installdirs = "$(DESTDIR)$(bindir)"
++am__installdirs = "$(DESTDIR)$(bindir)" "$(DESTDIR)$(datadir)"
+ binPROGRAMS_INSTALL = $(INSTALL_PROGRAM)
+@@ -55,6 +51,3 @@
+ maude_OBJECTS = $(am_maude_OBJECTS)
+-@BUILD_COMPILER_TRUE@am__DEPENDENCIES_1 = \
+-@BUILD_COMPILER_TRUE@ ../FullCompiler/libfullCompiler.a
+-am__DEPENDENCIES_2 =
+-@USE_DLMALLOC_TRUE@am__DEPENDENCIES_3 = ../3rdParty/libdlmalloc.a
++am__DEPENDENCIES_1 =
+ maude_DEPENDENCIES = ../Mixfix/libmixfix.a \
+@@ -71,7 +64,6 @@
+ ../MSCP10/libmscp10.a ../Temporal/libtemporal.a \
+- ../IO_Stuff/libIO_Stuff.a $(am__DEPENDENCIES_1) \
+- ../Utility/libutility.a $(am__DEPENDENCIES_2) \
+- $(am__DEPENDENCIES_2) $(am__DEPENDENCIES_2) \
+- $(am__DEPENDENCIES_3)
+-DEFAULT_INCLUDES = -I. -I$(srcdir) -I$(top_builddir)
++ ../IO_Stuff/libIO_Stuff.a $(FULL_COMPILER_LIB) \
++ ../Utility/libutility.a $(am__DEPENDENCIES_1) \
++ $(am__DEPENDENCIES_1) $(am__DEPENDENCIES_1) $(DLMALLOC_LIB)
++DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir)
+ depcomp = $(SHELL) $(top_srcdir)/depcomp
+@@ -85,2 +77,10 @@
+ DIST_SOURCES = $(maude_SOURCES)
++am__vpath_adj_setup = srcdirstrip=`echo "$(srcdir)" | sed 's|.|.|g'`;
++am__vpath_adj = case $$p in \
++ $(srcdir)/*) f=`echo "$$p" | sed "s|^$$srcdirstrip/||"`;; \
++ *) f=$$p;; \
++ esac;
++am__strip_dir = `echo $$p | sed -e 's|^.*/||'`;
++dataDATA_INSTALL = $(INSTALL_DATA)
++DATA = $(data_DATA)
+ ETAGS = etags
+@@ -89,4 +89,2 @@
+ ACLOCAL = @ACLOCAL@
+-AMDEP_FALSE = @AMDEP_FALSE@
+-AMDEP_TRUE = @AMDEP_TRUE@
+ AMTAR = @AMTAR@
+@@ -98,4 +96,2 @@
+ BUDDY_LIB = @BUDDY_LIB@
+-BUILD_COMPILER_FALSE = @BUILD_COMPILER_FALSE@
+-BUILD_COMPILER_TRUE = @BUILD_COMPILER_TRUE@
+ CC = @CC@
+@@ -118,2 +114,4 @@
+ GMP_LIBS = @GMP_LIBS@
++GREP = @GREP@
++INSTALL = @INSTALL@
+ INSTALL_DATA = @INSTALL_DATA@
+@@ -127,2 +125,3 @@
+ MAKEINFO = @MAKEINFO@
++MKDIR_P = @MKDIR_P@
+ OBJEXT = @OBJEXT@
+@@ -133,2 +132,3 @@
+ PACKAGE_TARNAME = @PACKAGE_TARNAME@
++PACKAGE_URL = @PACKAGE_URL@
+ PACKAGE_VERSION = @PACKAGE_VERSION@
+@@ -140,13 +140,9 @@
+ TECLA_LIBS = @TECLA_LIBS@
+-USE_DLMALLOC_FALSE = @USE_DLMALLOC_FALSE@
+-USE_DLMALLOC_TRUE = @USE_DLMALLOC_TRUE@
+ VERSION = @VERSION@
++abs_builddir = @abs_builddir@
++abs_srcdir = @abs_srcdir@
++abs_top_builddir = @abs_top_builddir@
++abs_top_srcdir = @abs_top_srcdir@
+ ac_ct_CC = @ac_ct_CC@
+ ac_ct_CXX = @ac_ct_CXX@
+-ac_ct_RANLIB = @ac_ct_RANLIB@
+-ac_ct_STRIP = @ac_ct_STRIP@
+-am__fastdepCC_FALSE = @am__fastdepCC_FALSE@
+-am__fastdepCC_TRUE = @am__fastdepCC_TRUE@
+-am__fastdepCXX_FALSE = @am__fastdepCXX_FALSE@
+-am__fastdepCXX_TRUE = @am__fastdepCXX_TRUE@
+ am__include = @am__include@
+@@ -162,3 +158,7 @@
+ build_vendor = @build_vendor@
++builddir = @builddir@
+ datadir = @datadir@
++datarootdir = @datarootdir@
++docdir = @docdir@
++dvidir = @dvidir@
+ exec_prefix = @exec_prefix@
+@@ -169,2 +169,3 @@
+ host_vendor = @host_vendor@
++htmldir = @htmldir@
+ includedir = @includedir@
+@@ -174,2 +175,3 @@
+ libexecdir = @libexecdir@
++localedir = @localedir@
+ localstatedir = @localstatedir@
+@@ -178,8 +180,22 @@
+ oldincludedir = @oldincludedir@
++pdfdir = @pdfdir@
+ prefix = @prefix@
+ program_transform_name = @program_transform_name@
++psdir = @psdir@
+ sbindir = @sbindir@
+ sharedstatedir = @sharedstatedir@
++srcdir = @srcdir@
+ sysconfdir = @sysconfdir@
+ target_alias = @target_alias@
++top_build_prefix = @top_build_prefix@
++top_builddir = @top_builddir@
++top_srcdir = @top_srcdir@
++data_DATA = \
++ prelude.maude \
++ model-checker.maude \
++ socket.maude \
++ linear.maude \
++ machine-int.maude \
++ term-order.maude
++
+ @BUILD_COMPILER_TRUE@FULL_COMPILER_LIB = ../FullCompiler/libfullCompiler.a
+@@ -260,4 +276,4 @@
+ *$$dep*) \
+- cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh \
+- && exit 0; \
++ ( cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh ) \
++ && { if test -f $@; then exit 0; else break; fi; }; \
+ exit 1;; \
+@@ -310,3 +326,3 @@
+ @rm -f maude$(EXEEXT)
+- $(CXXLINK) $(maude_LDFLAGS) $(maude_OBJECTS) $(maude_LDADD) $(LIBS)
++ $(CXXLINK) $(maude_OBJECTS) $(maude_LDADD) $(LIBS)
+
+@@ -321,4 +337,4 @@
+ .cc.o:
+-@am__fastdepCXX_TRUE@ if $(CXXCOMPILE) -MT $@ -MD -MP -MF "$(DEPDIR)/$*.Tpo" -c -o $@ $<; \
+-@am__fastdepCXX_TRUE@ then mv -f "$(DEPDIR)/$*.Tpo" "$(DEPDIR)/$*.Po"; else rm -f "$(DEPDIR)/$*.Tpo"; exit 1; fi
++@am__fastdepCXX_TRUE@ $(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ $<
++@am__fastdepCXX_TRUE@ mv -f $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
+ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
+@@ -328,4 +344,4 @@
+ .cc.obj:
+-@am__fastdepCXX_TRUE@ if $(CXXCOMPILE) -MT $@ -MD -MP -MF "$(DEPDIR)/$*.Tpo" -c -o $@ `$(CYGPATH_W) '$<'`; \
+-@am__fastdepCXX_TRUE@ then mv -f "$(DEPDIR)/$*.Tpo" "$(DEPDIR)/$*.Po"; else rm -f "$(DEPDIR)/$*.Tpo"; exit 1; fi
++@am__fastdepCXX_TRUE@ $(CXXCOMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'`
++@am__fastdepCXX_TRUE@ mv -f $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
+ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
+@@ -335,4 +351,4 @@
+ maude-main.o: main.cc
+-@am__fastdepCXX_TRUE@ if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(maude_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT maude-main.o -MD -MP -MF "$(DEPDIR)/maude-main.Tpo" -c -o maude-main.o `test -f 'main.cc' || echo '$(srcdir)/'`main.cc; \
+-@am__fastdepCXX_TRUE@ then mv -f "$(DEPDIR)/maude-main.Tpo" "$(DEPDIR)/maude-main.Po"; else rm -f "$(DEPDIR)/maude-main.Tpo"; exit 1; fi
++@am__fastdepCXX_TRUE@ $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(maude_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT maude-main.o -MD -MP -MF $(DEPDIR)/maude-main.Tpo -c -o maude-main.o `test -f 'main.cc' || echo '$(srcdir)/'`main.cc
++@am__fastdepCXX_TRUE@ mv -f $(DEPDIR)/maude-main.Tpo $(DEPDIR)/maude-main.Po
+ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='main.cc' object='maude-main.o' libtool=no @AMDEPBACKSLASH@
+@@ -342,4 +358,4 @@
+ maude-main.obj: main.cc
+-@am__fastdepCXX_TRUE@ if $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(maude_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT maude-main.obj -MD -MP -MF "$(DEPDIR)/maude-main.Tpo" -c -o maude-main.obj `if test -f 'main.cc'; then $(CYGPATH_W) 'main.cc'; else $(CYGPATH_W) '$(srcdir)/main.cc'; fi`; \
+-@am__fastdepCXX_TRUE@ then mv -f "$(DEPDIR)/maude-main.Tpo" "$(DEPDIR)/maude-main.Po"; else rm -f "$(DEPDIR)/maude-main.Tpo"; exit 1; fi
++@am__fastdepCXX_TRUE@ $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(maude_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -MT maude-main.obj -MD -MP -MF $(DEPDIR)/maude-main.Tpo -c -o maude-main.obj `if test -f 'main.cc'; then $(CYGPATH_W) 'main.cc'; else $(CYGPATH_W) '$(srcdir)/main.cc'; fi`
++@am__fastdepCXX_TRUE@ mv -f $(DEPDIR)/maude-main.Tpo $(DEPDIR)/maude-main.Po
+ @AMDEP_TRUE@@am__fastdepCXX_FALSE@ source='main.cc' object='maude-main.obj' libtool=no @AMDEPBACKSLASH@
+@@ -347,3 +363,19 @@
+ @am__fastdepCXX_FALSE@ $(CXX) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(maude_CPPFLAGS) $(CPPFLAGS) $(AM_CXXFLAGS) $(CXXFLAGS) -c -o maude-main.obj `if test -f 'main.cc'; then $(CYGPATH_W) 'main.cc'; else $(CYGPATH_W) '$(srcdir)/main.cc'; fi`
+-uninstall-info-am:
++install-dataDATA: $(data_DATA)
++ @$(NORMAL_INSTALL)
++ test -z "$(datadir)" || $(mkdir_p) "$(DESTDIR)$(datadir)"
++ @list='$(data_DATA)'; for p in $$list; do \
++ if test -f "$$p"; then d=; else d="$(srcdir)/"; fi; \
++ f=$(am__strip_dir) \
++ echo " $(dataDATA_INSTALL) '$$d$$p' '$(DESTDIR)$(datadir)/$$f'"; \
++ $(dataDATA_INSTALL) "$$d$$p" "$(DESTDIR)$(datadir)/$$f"; \
++ done
++
++uninstall-dataDATA:
++ @$(NORMAL_UNINSTALL)
++ @list='$(data_DATA)'; for p in $$list; do \
++ f=$(am__strip_dir) \
++ echo " rm -f '$(DESTDIR)$(datadir)/$$f'"; \
++ rm -f "$(DESTDIR)$(datadir)/$$f"; \
++ done
+
+@@ -354,4 +386,4 @@
+ done | \
+- $(AWK) ' { files[$$0] = 1; } \
+- END { for (i in files) print i; }'`; \
++ $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
++ END { if (nonempty) { for (i in files) print i; }; }'`; \
+ mkid -fID $$unique
+@@ -367,4 +399,4 @@
+ done | \
+- $(AWK) ' { files[$$0] = 1; } \
+- END { for (i in files) print i; }'`; \
++ $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
++ END { if (nonempty) { for (i in files) print i; }; }'`; \
+ if test -z "$(ETAGS_ARGS)$$tags$$unique"; then :; else \
+@@ -378,3 +410,2 @@
+ tags=; \
+- here=`pwd`; \
+ list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
+@@ -383,4 +414,4 @@
+ done | \
+- $(AWK) ' { files[$$0] = 1; } \
+- END { for (i in files) print i; }'`; \
++ $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
++ END { if (nonempty) { for (i in files) print i; }; }'`; \
+ test -z "$(CTAGS_ARGS)$$tags$$unique" \
+@@ -398,18 +429,17 @@
+ 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; \
++ @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
++ topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
++ list='$(DISTFILES)'; \
++ dist_files=`for file in $$list; do echo $$file; done | \
++ sed -e "s|^$$srcdirstrip/||;t" \
++ -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
++ case $$dist_files in \
++ */*) $(mkdir_p) `echo "$$dist_files" | \
++ sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
++ sort -u` ;; \
++ esac; \
++ for file in $$dist_files; do \
+ 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"; \
+- $(mkdir_p) "$(distdir)$$dir"; \
+- else \
+- dir=''; \
+- fi; \
+ if test -d $$d/$$file; then \
++ dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
+ if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
+@@ -426,5 +456,5 @@
+ check: check-am
+-all-am: Makefile $(PROGRAMS)
++all-am: Makefile $(PROGRAMS) $(DATA)
+ installdirs:
+- for dir in "$(DESTDIR)$(bindir)"; do \
++ for dir in "$(DESTDIR)$(bindir)" "$(DESTDIR)$(datadir)"; do \
+ test -z "$$dir" || $(mkdir_p) "$$dir"; \
+@@ -471,2 +501,4 @@
+
++html-am:
++
+ info: info-am
+@@ -475,3 +507,7 @@
+
+-install-data-am:
++install-data-am: install-dataDATA
++
++install-dvi: install-dvi-am
++
++install-dvi-am:
+
+@@ -479,6 +515,20 @@
+
++install-html: install-html-am
++
++install-html-am:
++
+ install-info: install-info-am
+
++install-info-am:
++
+ install-man:
+
++install-pdf: install-pdf-am
++
++install-pdf-am:
++
++install-ps: install-ps-am
++
++install-ps-am:
++
+ installcheck-am:
+@@ -502,3 +552,5 @@
+
+-uninstall-am: uninstall-binPROGRAMS uninstall-info-am
++uninstall-am: uninstall-binPROGRAMS uninstall-dataDATA
++
++.MAKE: install-am install-strip
+
+@@ -508,8 +560,11 @@
+ html-am info info-am install install-am install-binPROGRAMS \
+- 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-compile \
+- mostlyclean-generic pdf pdf-am ps ps-am tags uninstall \
+- uninstall-am uninstall-binPROGRAMS uninstall-info-am
++ install-data install-data-am install-dataDATA install-dvi \
++ install-dvi-am install-exec install-exec-am install-html \
++ install-html-am install-info install-info-am install-man \
++ install-pdf install-pdf-am install-ps install-ps-am \
++ install-strip installcheck installcheck-am installdirs \
++ maintainer-clean maintainer-clean-generic mostlyclean \
++ mostlyclean-compile mostlyclean-generic pdf pdf-am ps ps-am \
++ tags uninstall uninstall-am uninstall-binPROGRAMS \
++ uninstall-dataDATA
+