kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang/mercury/Makefile

59 lines
1.9 KiB
Makefile
Raw Normal View History

Recursive ABI depends update and PKGREVISION bump for readline-6.0 shlib major change. Reported by Robert Elz in PR 41345.
2009-05-20 02:58:05 +02:00
# $NetBSD: Makefile,v 1.35 2009/05/20 00:58:19 wiz Exp $
Initial import of mercury-0.10.1. Mercury is a modern logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. This package includes the compiler, profiler, debugger, documentation, etc. It does NOT include the "extras" distribution; that is available from <http://www.cs.mu.oz.au/mercury/download/release.html>.
2001-05-15 23:09:44 +02:00
Update mercury to version 0.11.0. Changes to the Mercury language: * Support for constrained polymorphic modes. * Addition of state variable syntax. * Improved support for higher-order functions. * Predicate and function equivalence type and mode declarations. * Support for defining predicates or functions using different clauses for different modes. * Support for Haskell-like "@" expressions. * Generalized foreign language interface. Changes to the Mercury compiler: * A new `--make' option, for simpler building of programs. * A new `--smart-recompilation' option, for fine-grained dependency tracking. * A new optional warning: `--warn-non-tail-recursion'. * A new optimization: `--constraint-propagation'. * A new optimization: `--loop-invariants'. * Support for arbitrary mappings from module name to source file name. Portability improvements: * Mac OS X is now supported "out-of-the-box". * On Windows we now support generating non-Cygwin executables. * Better conformance to ANSI/ISO C. Changes to the compiler back-ends: * The native code Linux/x86 back-end is now "release quality". * The .NET CLR back-end is much improved. Major improvements to the Mercury debugger, including: * Support for source-linked debugging using vim (rather than emacs). * Command-line completion. * Ability to display values of higher-order terms. * Declarative debugging. * Support for transparent retries across I/O. A new profiler, which we call the Mercury deep profiler or mdprof: * Supports both time and memory profiling. * Gathers information about individual call sites as well as procedures. * Eliminates the assumption that all calls to a procedure have equal cost. * Allows users to explore the gathered data interactively with a web browser. Numerous minor improvements to the Mercury standard library. A new testing tool in the extras distribution.
2003-05-02 19:48:28 +02:00
DISTNAME= mercury-compiler-0.11.0
PKGNAME= mercury-0.11.0
Recursive ABI depends update and PKGREVISION bump for readline-6.0 shlib major change. Reported by Robert Elz in PR 41345.
2009-05-20 02:58:05 +02:00
PKGREVISION= 6
Initial import of mercury-0.10.1. Mercury is a modern logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. This package includes the compiler, profiler, debugger, documentation, etc. It does NOT include the "extras" distribution; that is available from <http://www.cs.mu.oz.au/mercury/download/release.html>.
2001-05-15 23:09:44 +02:00
CATEGORIES= lang
MASTER_SITES= ftp://ftp.mercury.cs.mu.oz.au/pub/mercury/ \
${MASTER_SITE_SUNSITE:=devel/lang/mercury/}
Point MAINTAINER to pkgsrc-users@NetBSD.org in the case where no developer is officially maintaining the package. The rationale for changing this from "tech-pkg" to "pkgsrc-users" is that it implies that any user can try to maintain the package (by submitting patches to the mailing list). Since the folks most likely to care about the package are the folks that want to use it or are already using it, this would leverage the energy of users who aren't developers.
2006-03-04 22:28:51 +01:00
MAINTAINER= pkgsrc-users@NetBSD.org
Update MASTER_SITES and/or HOMEPAGE, from Sergey Svishchev.
2006-10-04 23:46:12 +02:00
HOMEPAGE= http://www.cs.mu.oz.au/research/mercury/
COMMENT should start with a capital letter.
2003-07-21 18:45:54 +02:00
COMMENT= Modern logic/functional programming language
Initial import of mercury-0.10.1. Mercury is a modern logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. This package includes the compiler, profiler, debugger, documentation, etc. It does NOT include the "extras" distribution; that is available from <http://www.cs.mu.oz.au/mercury/download/release.html>.
2001-05-15 23:09:44 +02:00
Mechanical changes to add DESTDIR support to packages that install their files via a custom do-install target.
2008-03-04 17:38:11 +01:00
PKG_DESTDIR_SUPPORT= user-destdir
Initial import of mercury-0.10.1. Mercury is a modern logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. This package includes the compiler, profiler, debugger, documentation, etc. It does NOT include the "extras" distribution; that is available from <http://www.cs.mu.oz.au/mercury/download/release.html>.
2001-05-15 23:09:44 +02:00
GNU_CONFIGURE= yes
Second round of explicit pax dependencies. As reminded by tnn@, many packages used to use ${PAX}. Use the common way of directly calling pax, it is created as tool after all.
2008-05-26 04:13:14 +02:00
USE_TOOLS+= gmake pax
Update mercury to version 0.11.0. Changes to the Mercury language: * Support for constrained polymorphic modes. * Addition of state variable syntax. * Improved support for higher-order functions. * Predicate and function equivalence type and mode declarations. * Support for defining predicates or functions using different clauses for different modes. * Support for Haskell-like "@" expressions. * Generalized foreign language interface. Changes to the Mercury compiler: * A new `--make' option, for simpler building of programs. * A new `--smart-recompilation' option, for fine-grained dependency tracking. * A new optional warning: `--warn-non-tail-recursion'. * A new optimization: `--constraint-propagation'. * A new optimization: `--loop-invariants'. * Support for arbitrary mappings from module name to source file name. Portability improvements: * Mac OS X is now supported "out-of-the-box". * On Windows we now support generating non-Cygwin executables. * Better conformance to ANSI/ISO C. Changes to the compiler back-ends: * The native code Linux/x86 back-end is now "release quality". * The .NET CLR back-end is much improved. Major improvements to the Mercury debugger, including: * Support for source-linked debugging using vim (rather than emacs). * Command-line completion. * Ability to display values of higher-order terms. * Declarative debugging. * Support for transparent retries across I/O. A new profiler, which we call the Mercury deep profiler or mdprof: * Supports both time and memory profiling. * Gathers information about individual call sites as well as procedures. * Eliminates the assumption that all calls to a procedure have equal cost. * Allows users to explore the gathered data interactively with a web browser. Numerous minor improvements to the Mercury standard library. A new testing tool in the extras distribution.
2003-05-02 19:48:28 +02:00
USE_GNU_READLINE= yes # rl_prep_term_function
List the info files directly in the PLIST, and honor PKGINFODIR and PKGMANDIR.
2006-04-05 08:27:41 +02:00
INFO_FILES= # PLIST
Initial import of mercury-0.10.1. Mercury is a modern logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. This package includes the compiler, profiler, debugger, documentation, etc. It does NOT include the "extras" distribution; that is available from <http://www.cs.mu.oz.au/mercury/download/release.html>.
2001-05-15 23:09:44 +02:00
Add dependence on boehm-gc. Noted from John Darrow's i386 bulk build results.
2001-06-12 00:52:10 +02:00
# Some of the scripts test CC and use special settings for gcc.
Initial import of mercury-0.10.1. Mercury is a modern logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. This package includes the compiler, profiler, debugger, documentation, etc. It does NOT include the "extras" distribution; that is available from <http://www.cs.mu.oz.au/mercury/download/release.html>.
2001-05-15 23:09:44 +02:00
CONFIGURE_ENV+= CC=gcc
Fixed pkglint warnings. The warnings are mostly quoting issues, for example MAKE_ENV+=FOO=${BAR} is changed to MAKE_ENV+=FOO=${BAR:Q}. Some other changes are outlined in http://mail-index.netbsd.org/tech-pkg/2005/12/02/0034.html
2005-12-05 21:49:47 +01:00
CONFIGURE_ENV+= HOSTNAMECMD=${TOOLS_HOSTNAME_CMD:Q}
Prevent paths to the build directories from being included in the package. Bump PKGREVISION.
2005-07-12 23:33:17 +02:00
USE_TOOLS+= hostname
Update mercury to version 0.11.0. Changes to the Mercury language: * Support for constrained polymorphic modes. * Addition of state variable syntax. * Improved support for higher-order functions. * Predicate and function equivalence type and mode declarations. * Support for defining predicates or functions using different clauses for different modes. * Support for Haskell-like "@" expressions. * Generalized foreign language interface. Changes to the Mercury compiler: * A new `--make' option, for simpler building of programs. * A new `--smart-recompilation' option, for fine-grained dependency tracking. * A new optional warning: `--warn-non-tail-recursion'. * A new optimization: `--constraint-propagation'. * A new optimization: `--loop-invariants'. * Support for arbitrary mappings from module name to source file name. Portability improvements: * Mac OS X is now supported "out-of-the-box". * On Windows we now support generating non-Cygwin executables. * Better conformance to ANSI/ISO C. Changes to the compiler back-ends: * The native code Linux/x86 back-end is now "release quality". * The .NET CLR back-end is much improved. Major improvements to the Mercury debugger, including: * Support for source-linked debugging using vim (rather than emacs). * Command-line completion. * Ability to display values of higher-order terms. * Declarative debugging. * Support for transparent retries across I/O. A new profiler, which we call the Mercury deep profiler or mdprof: * Supports both time and memory profiling. * Gathers information about individual call sites as well as procedures. * Eliminates the assumption that all calls to a procedure have equal cost. * Allows users to explore the gathered data interactively with a web browser. Numerous minor improvements to the Mercury standard library. A new testing tool in the extras distribution.
2003-05-02 19:48:28 +02:00
MAKE_ENV+= READLINE_PREFIX=${BUILDLINK_PREFIX.readline}
List the info files directly in the PLIST, and honor PKGINFODIR and PKGMANDIR.
2006-04-05 08:27:41 +02:00
INSTALL_PREFIX= ${WRKSRC}/tmp
BUILD_MAKE_FLAGS= ${MAKE_FLAGS}
BUILD_MAKE_FLAGS+= INSTALL_PREFIX=${INSTALL_PREFIX:Q}
BUILD_MAKE_FLAGS+= INSTALL_INFO_DIR=${INSTALL_PREFIX:Q}/${PKGINFODIR:Q}
BUILD_MAKE_FLAGS+= INSTALL_MAN_DIR=${INSTALL_PREFIX:Q}/${PKGMANDIR:Q}
BUILD_MAKE_FLAGS+= MERCURY_COMPILER=${INSTALL_PREFIX:Q}/lib/mercury/bin/${MACHINE_GNU_PLATFORM}/mercury_compile
.include "../../devel/readline/buildlink3.mk"
.include "../../devel/ncurses/buildlink3.mk"
Make the package build on NetBSD-current.
2004-02-14 04:04:31 +01:00
post-patch:
${TOUCH} \
${WRKSRC}/library/table_builtin.date3 \
${WRKSRC}/library/table_builtin.date \
${WRKSRC}/library/table_builtin.optdate \
${WRKSRC}/library/table_builtin.trans_opt_date \
${WRKSRC}/library/table_builtin.c_date
Update mercury to version 0.11.0. Changes to the Mercury language: * Support for constrained polymorphic modes. * Addition of state variable syntax. * Improved support for higher-order functions. * Predicate and function equivalence type and mode declarations. * Support for defining predicates or functions using different clauses for different modes. * Support for Haskell-like "@" expressions. * Generalized foreign language interface. Changes to the Mercury compiler: * A new `--make' option, for simpler building of programs. * A new `--smart-recompilation' option, for fine-grained dependency tracking. * A new optional warning: `--warn-non-tail-recursion'. * A new optimization: `--constraint-propagation'. * A new optimization: `--loop-invariants'. * Support for arbitrary mappings from module name to source file name. Portability improvements: * Mac OS X is now supported "out-of-the-box". * On Windows we now support generating non-Cygwin executables. * Better conformance to ANSI/ISO C. Changes to the compiler back-ends: * The native code Linux/x86 back-end is now "release quality". * The .NET CLR back-end is much improved. Major improvements to the Mercury debugger, including: * Support for source-linked debugging using vim (rather than emacs). * Command-line completion. * Ability to display values of higher-order terms. * Declarative debugging. * Support for transparent retries across I/O. A new profiler, which we call the Mercury deep profiler or mdprof: * Supports both time and memory profiling. * Gathers information about individual call sites as well as procedures. * Eliminates the assumption that all calls to a procedure have equal cost. * Allows users to explore the gathered data interactively with a web browser. Numerous minor improvements to the Mercury standard library. A new testing tool in the extras distribution.
2003-05-02 19:48:28 +02:00
do-build:
Made the code a little simpler.
2007-02-15 15:36:39 +01:00
cd ${WRKSRC} && ${BUILD_MAKE_CMD} install
Update mercury to version 0.11.0. Changes to the Mercury language: * Support for constrained polymorphic modes. * Addition of state variable syntax. * Improved support for higher-order functions. * Predicate and function equivalence type and mode declarations. * Support for defining predicates or functions using different clauses for different modes. * Support for Haskell-like "@" expressions. * Generalized foreign language interface. Changes to the Mercury compiler: * A new `--make' option, for simpler building of programs. * A new `--smart-recompilation' option, for fine-grained dependency tracking. * A new optional warning: `--warn-non-tail-recursion'. * A new optimization: `--constraint-propagation'. * A new optimization: `--loop-invariants'. * Support for arbitrary mappings from module name to source file name. Portability improvements: * Mac OS X is now supported "out-of-the-box". * On Windows we now support generating non-Cygwin executables. * Better conformance to ANSI/ISO C. Changes to the compiler back-ends: * The native code Linux/x86 back-end is now "release quality". * The .NET CLR back-end is much improved. Major improvements to the Mercury debugger, including: * Support for source-linked debugging using vim (rather than emacs). * Command-line completion. * Ability to display values of higher-order terms. * Declarative debugging. * Support for transparent retries across I/O. A new profiler, which we call the Mercury deep profiler or mdprof: * Supports both time and memory profiling. * Gathers information about individual call sites as well as procedures. * Eliminates the assumption that all calls to a procedure have equal cost. * Allows users to explore the gathered data interactively with a web browser. Numerous minor improvements to the Mercury standard library. A new testing tool in the extras distribution.
2003-05-02 19:48:28 +02:00
do-install:
Second round of explicit pax dependencies. As reminded by tnn@, many packages used to use ${PAX}. Use the common way of directly calling pax, it is created as tool after all.
2008-05-26 04:13:14 +02:00
cd ${WRKSRC}/tmp && pax -rw . ${DESTDIR}${PREFIX}
Mechanical changes to add DESTDIR support to packages that install their files via a custom do-install target.
2008-03-04 17:38:11 +01:00
${INSTALL_DATA_DIR} ${DESTDIR}${PREFIX}/share/examples/mercury
Use $FIND with "-print". Noted by Georg Schwarz in PR pkg/24248
2004-01-27 01:53:10 +01:00
${FIND} ${WRKSRC} -type d -name "CVS" -print | ${XARGS} ${RM} -fr
${FIND} ${WRKSRC} -type f -name ".cvsignore" -print | ${XARGS} ${RM} -f
Mechanical changes to add DESTDIR support to packages that install their files via a custom do-install target.
2008-03-04 17:38:11 +01:00
cd ${WRKSRC}/samples && \
Second round of explicit pax dependencies. As reminded by tnn@, many packages used to use ${PAX}. Use the common way of directly calling pax, it is created as tool after all.
2008-05-26 04:13:14 +02:00
pax -rw . ${DESTDIR}${PREFIX}/share/examples/mercury
Initial import of mercury-0.10.1. Mercury is a modern logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs. This package includes the compiler, profiler, debugger, documentation, etc. It does NOT include the "extras" distribution; that is available from <http://www.cs.mu.oz.au/mercury/download/release.html>.
2001-05-15 23:09:44 +02:00
.include "../../mk/bsd.pkg.mk"
Reference in a new issue Copy permalink