summaryrefslogtreecommitdiff
path: root/lang/mercury
AgeCommit message (Collapse)AuthorFilesLines
2005-05-22Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions:jlam1-2/+2
USE_GNU_TOOLS -> USE_TOOLS awk -> gawk m4 -> gm4 make -> gmake sed -> gsed yacc -> bison
2005-04-11Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used.tv1-2/+1
2005-04-05Sort.wiz1-3/+3
2005-02-24Add RMD160 digestsagc1-1/+2
2004-10-03Libtool fix for PR pkg/26633, and other issues. Update libtool to 1.5.10tv1-2/+2
in the process. (More information on tech-pkg.) Bump PKGREVISION and BUILDLINK_DEPENDS of all packages using libtool and installing .la files. Bump PKGREVISION (only) of all packages depending directly on the above via a buildlink3 include.
2004-05-02Convert to buildlink3.snj1-4/+4
2004-03-07Remove info files entries from PLIST.seb4-35/+22
While here add missing info file from INFO_FILES and patch it so it has an info dir entry.
2004-02-14Make the package build on NetBSD-current.kristerw7-6/+107
2004-01-27Use $FIND with "-print". Noted by Georg Schwarz in PR pkg/24248heinz1-3/+3
2004-01-24replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make.grant1-2/+2
2003-09-28Back out last change related to moving ncurses/buildlink2.mk tojlam1-2/+2
curses.buildlink2.mk. This was wrong because we _really_ do want to express that we want _n_curses when we include the buildlink2.mk file. We should have a better way to say that the NetBSD curses doesn't quite work well enough. In fact, it's far better to depend on ncurses by default, and exceptionally note when it's okay to use NetBSD curses for specific packages. We will look into this again in the future.
2003-09-27move ncurses/buildlink2.mk to mk/curses.buildlink2.mk, as it providesgrant1-2/+2
support for base system curses/ncurses as well as ncurses itself. suggested by wiz.
2003-08-09USE_NEW_TEXINFO is unnecessary now.seb1-2/+1
2003-07-21COMMENT should start with a capital letter.martti1-2/+2
2003-07-17s/netbsd.org/NetBSD.org/grant1-2/+2
2003-07-13PKGREVISION bump for libiconv update.wiz1-1/+2
2003-07-05Convert to USE_NEW_TEXINFO.seb7-7/+75
Add info directory entries by way of patch files to most of the info files.
2003-06-02Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages.jschauma1-2/+2
Should anybody feel like they could be the maintainer for any of thewe packages, please adjust.
2003-05-02Update mercury to version 0.11.0.jtb15-565/+1545
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-03-10Needs -Wl,-R (or the equiv) when linking libgc. Pass _OPSYS_RPATH_NAME in andjmc4-10/+11
use that accordingly
2002-03-18The host specific installation subdirectories are actually taken by configurefredb2-54/+54
from its --host argument, which is exactly ${MACHINE_GNU_PLATFORM}. Use that for the PLIST instead of ${MACHINE_ARCH}--${LOWER_OPSYS}, which may lack the "elf" suffix on certain platforms.
2002-03-06Patch on powerpc and avoid using the r* definitions as they conflict withjmc2-1/+23
frame.h
2002-02-18Introduce new framework for handling info files generation and installation.seb2-4/+5
Summary of changes: - removal of USE_GTEXINFO - addition of mk/texinfo.mk - inclusion of this file in package Makefiles requiring it - `install-info' substituted by `${INSTALL_INFO}' in PLISTs - tuning of mk/bsd.pkg.mk: removal of USE_GTEXINFO INSTALL_INFO added to PLIST_SUBST `${INSTALL_INFO}' replace `install-info' in target rules print-PLIST target now generate `${INSTALL_INFO}' instead of `install-info' - a couple of new patch files added for a handful of packages - setting of the TEXINFO_OVERRIDE "switch" in packages Makefiles requiring it - devel/cssc marked requiring texinfo 4.0 - a couple of packages Makefiles were tuned with respect of INFO_FILES and makeinfo command usage See -newly added by this commit- section 10.24 of Packages.txt for further information.
2001-11-14Replace "${GTAR} cf - . | (cd ... ; ${GTAR} xf - )" pipelines with aagc1-3/+2
single instance of ${PAX}.
2001-11-01Move pkg/ files into package's toplevel directoryzuntum2-1/+1
2001-06-11Add dependence on boehm-gc. Noted from John Darrow's i386 bulk buildjtb1-2/+4
results.
2001-05-19Use ${XARGS} instead of invoking xargs directly.jlam1-3/+3
2001-05-15Initial import of mercury-0.10.1.jtb15-0/+1278
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>.