kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
pkgsrc/lang
History
asau 014806754e Update to Maude 2.4 
==================================
New features and changes since 2.3
==================================

(1) Maude 2.4 provides an order-sorted Ax-unification algorithm for
all order-sorted theories (CSigma, E U Ax) such that:
   - the signature Sigma is preregular modulo Ax;
   - the axioms Ax associated to function symbols are as follows:
        - there can be arbitrary function symbols and constants with
          no equational attributes;
        - the iter equational attribute can be declared for some unary
          symbols;
        - the comm or assoc comm attributes can be declared for some
          binary function symbols, but then no other equational
	  attributes must be given for such symbols.
Explicitly excluded are theories with binary function symbols having
either: (i) the id:, left id:, or right id: attributes; or (ii) the
assoc attribute without the comm one; or (iii) a combination of (i)
and (ii).

(2) Unification is reflected in the META-LEVEL module by two descent
functions:
     op metaUnify : Module UnificationProblem Nat Nat ~>
                                     UnificationPair? [special (...)].
     op metaDisjointUnify : Module UnificationProblem Nat Nat ~>
                                   UnificationTriple? [special (...)].

(3) Statements (rule, equations and membership axioms) can now take a
print attribute. In print attribute mode, when a statement is executed
the items in its print attribute are printed, with variables taking
their value in the current substitution.

(4) Parsing of file names in the commands load, in, cd and pushd now
allows spaces using either of two syntactic conventions:
If the file name starts with " then all following characters will be
taken literally up to the terminating ", line feed or form feed.
If a file name starts with other than ", the following escape
sequences are recognized
   \\	          becomes \
   \<space>       becomes <space>
   \"	          becomes "

(5) For operators in the C, CU, CI and CUI theories, if both arguments
are the same, the rewrite, srewrite and search commands and the model
checker will only consider one of the arguments for that step since
only one rewriting step is made per pass, the choice of argument is
irrelevant. This already happened for operators in the AC and ACU
theories. The frewrite command still always considers all arguments
even if they are identical since multiple rewriting steps can happen
in each pass.

(6) The GNU libsigsegv library is used to distinguigh between true
segmentation faults and stack overflows and so stack overflows are now
reported with an informative message.

(7) Several optimizations, bug fixes and improvements.
2010-05-19 11:55:43 +00:00
..
a60 Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
awka DESTDIR support 2010-02-03 23:27:52 +00:00
baci Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
brandybasic Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
bwbasic Set HOMEPAGE. 2010-03-03 12:38:28 +00:00
caml-light Mark packages as MAKE_JOBS_SAFE=no that failed in a bulk build with 2009-06-30 00:07:09 +00:00
camlp5 Update lang/camlp5 to 5.13 2010-04-24 18:40:43 +00:00
ccsh Mechanical changes to add DESTDIR support to packages that install 2008-03-04 16:38:11 +00:00
cdl3 Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
Cg-compiler Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
chicken Update to Chicken 4.5.0. 2010-05-13 19:32:02 +00:00
cim Add DESTDIR support. 2008-06-12 02:14:13 +00:00
cint Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
clang Add C++ include path for NetBSD's /usr/include/g++, addresses 2010-05-04 16:52:16 +00:00
classpath Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
classpath-gui bump revision because of graphics/jpeg update 2009-08-26 19:56:37 +00:00
clisp Add patch-ab (clx fix) to distinfo. 2010-04-14 13:10:33 +00:00
coq Support staged installation. 2009-12-12 21:12:43 +00:00
cparser Update to 0.9.9. 2009-08-18 19:01:26 +00:00
cu-prolog Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
drscheme Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
eag Pass down --x-includes/--x-libraries for modular Xorg too. 2009-11-26 16:40:55 +00:00
ecl Recursive revision bump for GMP update, 2nd part. 2010-03-24 21:54:15 +00:00
eieio Doesn't support Emacs 23. 2010-02-16 20:21:57 +00:00
elisp-manual Add user-destdir support. 2010-02-20 12:27:22 +00:00
elk Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
embryo Update to embryo-0.9.9.063: Minor bugfixes. 2009-12-16 19:30:31 +00:00
erlang CVE-2008-2371 pcro buffer overflow fix based on: 2010-04-17 20:10:16 +00:00
erlang-doc Fix PLIST. 2009-12-21 12:07:27 +00:00
erlang-man Follow Erlang/OTP update to R13B03. 2009-12-15 13:07:52 +00:00
ezm3 Remove empty PLIST.common_end. 2009-07-22 09:26:26 +00:00
f2c Pass -arch argument correctly to the compiler; fixes building on Mac OS X 2010-01-10 20:17:49 +00:00
focal patch getline() -> get_line() for -current (thank you PSOIX) 2010-04-29 00:22:02 +00:00
fort77 Don't run tests at build time. Fixes PR pkg/42955 2010-03-11 18:55:34 +00:00
g95 Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
gambc Make it build on DragonFly and (probably) FreeBSD. 2009-07-20 18:18:10 +00:00
gauche Allow rpath into WRKSRC, the package knows about relinking itself. 2010-02-25 19:07:53 +00:00
gawk Compile with -D_OSF_SOURCE on Tru64. Closes PR pkg/42476. 2009-12-20 23:03:15 +00:00
gcc corrected HOMEPAGE URL (old URL no longer exists) 2009-09-20 14:41:52 +00:00
gcc3 corrected HOMEPAGE URL (old URL no longer exists) 2009-09-20 14:41:52 +00:00
gcc3-ada Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
gcc3-c Fix a number of GENERATE_PLIST entries to always have a terminating ; 2009-06-16 15:25:31 +00:00
gcc3-c++ Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
gcc3-f77 Support DESTDIR. 2009-11-07 18:03:55 +00:00
gcc3-java Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
gcc3-objc Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
gcc34 Add patch to embedded libltdl for CVE-2009-3736 from: 2010-05-04 20:46:31 +00:00
gcc34-ada corrected HOMEPAGE URL (old URL no longer exists) 2009-09-20 14:41:52 +00:00
gcc44 Changes 4.4.4: 2010-05-06 10:21:17 +00:00
gforth Recursive bump for libltdl 2009-12-15 23:41:45 +00:00
ghc Recursive revision bump for GMP update, 2nd part. 2010-03-24 21:54:15 +00:00
gpc DESTDIR support. 2010-02-14 06:58:25 +00:00
gprolog Update to GNU Prolog version 1.3.1. 2010-05-19 09:10:55 +00:00
guile Enhance gc_os_dep.c patch for Solaris. From Marion Hakanson on 2010-04-18 00:31:55 +00:00
guile16 Recursive bump for libltdl 2009-12-15 23:41:45 +00:00
gwydion-dylan Not MAKE_JOBS_SAFE: 2010-04-28 23:31:57 +00:00
hugs Use copy and manual messing with the package.conf in the DESTDIR case. 2010-01-29 18:52:09 +00:00
icon honour PKGMANDIR 2009-09-21 16:38:08 +00:00
inform Replace @exec/@unexec with @pkgdir or drop it. 2009-06-14 20:34:12 +00:00
intercal "flex" apparently changed its behavior wrt "yylineno": If invoked 2010-01-02 12:49:43 +00:00
ja-gawk * add user-destdir support 2010-02-20 08:14:44 +00:00
jamvm Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
japhar Mark packages as MAKE_JOBS_SAFE=no that failed in a bulk build with 2009-06-30 00:07:09 +00:00
jasmin Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
java-lang-spec Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
java-vm-spec Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
jikes Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
jini Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
joos Mark packages as MAKE_JOBS_SAFE=no that failed in a bulk build with 2009-06-30 00:07:09 +00:00
js add license information to the package Makefile 2010-04-19 06:16:40 +00:00
kaffe Recursive revision bump for GMP update. 2010-03-24 19:43:21 +00:00
kaffe-esound Recursive bump for libltdl 2009-12-15 23:41:45 +00:00
kaffe-x11 Second try at jpeg-8 recursive PKGREVISION bump. 2010-01-18 09:58:37 +00:00
kali Use new ${LP64PLATFORMS} variable to restrict platforms instead of manual 2010-01-07 07:36:53 +00:00
ksi Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
librep Recursive revision bump for GMP update, 2nd part. 2010-03-24 21:54:15 +00:00
libtcl-nothread Simply and speed up buildlink3.mk files and processing. 2009-03-20 19:23:50 +00:00
likepython Added one forgotten installation directory. 2010-03-03 12:25:16 +00:00
lua Fix build with new libtool by specifying --tag=CC in all calls. 2009-12-17 16:42:45 +00:00
LuaJIT Only for i386. 2009-08-03 12:20:16 +00:00
lush Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
maude Update to Maude 2.4 2010-05-19 11:55:43 +00:00
mawk forgot to remove patches. 2010-04-20 19:25:16 +00:00
mercury Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
minischeme Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
mit-scheme-bin Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
mono Update to 2.6.4, a bugfix release. From Changelog: 2010-04-29 08:44:30 +00:00
mono-basic Update to mono-basic 2.6.2, bugfix version on 2.6 branch 2010-04-09 15:48:17 +00:00
moscow_ml Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
mpd DESTDIR support. 2010-03-03 13:31:53 +00:00
mzscheme Update to MzScheme 4.2.4 2010-01-31 20:24:38 +00:00
nawk Reset maintainer, developer lost his commit bit. 2010-03-21 16:29:38 +00:00
nhc98 Use new ${LP64PLATFORMS} variable to restrict platforms instead of manual 2010-01-07 07:36:53 +00:00
objc Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
ocaml Remove patch that was removed from distinfo during update to 3.11.2. 2010-04-22 07:01:13 +00:00
ocamlduce Update HOMEPAGE. 2010-02-07 12:55:29 +00:00
onyx Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
oo2c Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
opencobol Recursive revision bump for GMP update. 2010-03-24 19:43:21 +00:00
openjdk7 Assert OWNERship for legal reasons. 2010-02-11 09:44:26 +00:00
openjdk7-bin Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
ossp-js Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
p2c DESTDIR support. Fix getline issues. 2009-09-03 13:14:10 +00:00
parrot Update parrot from version 2.2.0 to 2.3.0. 2010-04-23 14:08:17 +00:00
pcc Add platform list based on configure.ac. 2010-03-17 19:26:54 +00:00
pcc-current Update to the snapshot from 090731. 2009-08-06 06:40:31 +00:00
pear Remove one more php4 part. 2010-03-15 16:50:15 +00:00
perl5 Fix issue with PLIST generation by not reading existing .packlist. 2010-05-09 18:46:34 +00:00
pfe Bump revision for PYTHON_VERSION_DEFAULT change. 2010-02-10 19:17:31 +00:00
pforth Mark as generally not 64bit safe. Assumes int32 ~= void *. 2010-02-15 16:41:46 +00:00
php add support for PHP 5.2.*-only packages 2010-03-21 11:07:37 +00:00
php5 Add patch for php-xmlrpc to fix CVE-2010-0397 security problem. 2010-03-27 06:23:13 +00:00
php5-perl Restrict to php5 with PHP_VERSION_REQD. 2010-03-16 11:56:22 +00:00
php53 Explicitly set PKGNAME to handle PKG_OPTIONS properly, noted by 2010-04-16 15:19:23 +00:00
pict Not MAKE_JOBS_SAFE. 2009-12-07 22:56:02 +00:00
pnet NetBSD/amd64 is not supported by the internal libffi, so mark it 2009-07-06 22:17:14 +00:00
pnetC Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
pnetlib Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
pnetlib-nox11 Update dotgnu Portable.Net packages to 0.8.0: 2008-02-18 16:39:43 +00:00
polyml Update to Poly/ML Version 5.3 2009-12-13 23:26:25 +00:00
py-basicproperty Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
py-html-docs Remove empty PLIST.pre. 2009-07-22 09:28:15 +00:00
py-psyco Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
py-pyrex Update to 0.9.9, set LICENSE. 2010-05-02 13:51:44 +00:00
py24-html-docs Remove empty PLIST.pre. 2009-07-22 09:28:15 +00:00
py25-html-docs Remove empty PLIST.pre. 2009-07-22 09:28:15 +00:00
py26-html-docs Imported py26-html-docs-2.6.3: 2009-10-25 23:39:01 +00:00
python Update for python26-2.6.5. 2010-05-02 14:09:44 +00:00
python24 Added LICENSE information for Python. The license was approved by OSI 2010-01-21 16:28:51 +00:00
python25 Update to 2.5.5, a minor security fix release with very few changes relative to 2.5.4. 2010-04-07 14:57:49 +00:00
python26 Update to 2.6.5: 2010-05-02 14:09:11 +00:00
rcfunge NetBSD<5.99's curses has a wrong keypad(3) declaration, use pkgsrc 2009-12-01 10:36:58 +00:00
rexx-imc DESTDIR support 2010-02-04 01:32:00 +00:00
rexx-regina DESTDIR support 2010-02-04 01:32:00 +00:00
ruby Update Ruby packages to 1.8.7.174 (1.8.7-p174). 2009-06-16 15:08:38 +00:00
ruby-doc-stdlib Remove empty PLIST.pre. 2009-07-22 09:30:39 +00:00
ruby18 Switch to use META_PACKAGE. No functional change. 2008-01-06 15:45:12 +00:00
ruby18-base Fix a small problem by precious webrick security fix from Ruby's 2010-01-14 15:07:28 +00:00
sablevm Recursive bump for libltdl 2009-12-15 23:41:45 +00:00
sablevm-classpath Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
sablevm-classpath-gui bump revision because of graphics/jpeg update 2009-08-26 19:56:37 +00:00
sather Mark packages as MAKE_JOBS_SAFE=no that failed in a bulk build with 2009-06-30 00:07:09 +00:00
sbcl Build package on amd64. 2010-05-05 10:02:27 +00:00
scala Fix DESTDIR 2010-02-03 13:01:04 +00:00
scheme48 Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
scm DESTDIR support 2010-02-04 01:32:00 +00:00
see add licensing information 2010-04-19 06:24:33 +00:00
sigscheme Note about LICENSE (mixed licenses). 2010-05-15 12:42:20 +00:00
siod Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
smalltalk * fixes build with gmp-5 (patch-ai). 2010-04-09 01:54:20 +00:00
SmartEiffel - fix pkglint warnings 2009-08-08 23:32:17 +00:00
smlnj Update to SML/NJ 110.72, bug fix release. 2010-02-07 03:14:36 +00:00
snobol Update to SNOBOL4 1.3 2010-05-19 10:30:58 +00:00
spidermonkey use pkg-config to locate nspr 2010-01-16 15:04:32 +00:00
spl Reset maintainer, mail bounced 2010-03-02 15:13:48 +00:00
squeak Update to Squeak 4.0 2010-03-19 14:41:56 +00:00
squeak-vm Import Squeak VM 3.11.3 revision 2135 as lang/squeak-vm. 2010-02-11 00:58:19 +00:00
sr De-warn-ify. 2010-03-03 15:23:51 +00:00
sr-examples Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
stalin Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
STk Not MAKE_JOBS_SAFE. 2010-03-17 15:12:23 +00:00
sun-jdk6 Updated lang/sun-jdk6 to 6.0.17 2009-11-22 19:31:04 +00:00
sun-jre6 Allow build on DragonFly. From PR 43085 2010-03-31 02:35:05 +00:00
swi-prolog Use META_PACKAGE 2009-04-08 23:11:13 +00:00
swi-prolog-lite Update to SWI-Prolog 5.11.0 2010-05-16 18:46:10 +00:00
swi-prolog-packages Skip check to create package on FreeBSD. 2010-05-18 08:29:55 +00:00
tcl Add 'clean' to PRIVILEGED_STAGES. 2009-09-12 17:57:40 +00:00
tcl-expect Fix argument order when calling libtool. 2009-09-09 17:18:18 +00:00
tcl-itcl Fix some issues where DESTDIR ended up included twice... 2010-02-11 13:44:02 +00:00
tcl-itcl-current Redo DESTDIR support 2010-02-11 13:58:05 +00:00
tcl-otcl Replace @exec/@unexec with @pkgdir or drop it. 2009-06-14 20:34:12 +00:00
tcl-tclX Fix patch so that -Wl,-R and the path are one option. 2010-02-25 19:53:55 +00:00
tinyscheme Just use our CC, don't override it. Helps libtool-2.2. 2009-11-26 00:48:58 +00:00
tk-expect Give up maintainership of packages where I am still listed as MAINTAINER. 2009-08-20 15:24:58 +00:00
tk-tclX Give up maintainership of packages where I am still listed as MAINTAINER. 2009-08-20 15:24:58 +00:00
twelf DESTDIR support 2010-02-04 01:21:39 +00:00
ucblogo Support staged installation. 2009-12-10 23:42:14 +00:00
umb-scheme Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
utilisp Not MAKE_JOBS_SAFE, but in a very simple way, so just patch it. 2010-04-28 23:42:38 +00:00
vala Drop maintainership on these packages, I am no longer interested. 2010-05-07 08:34:22 +00:00
vscm Mark packages as MAKE_JOBS_SAFE=no that failed in a bulk build with 2009-06-30 00:07:09 +00:00
vslisp Fix MASTER_SITES. 2010-05-19 11:11:44 +00:00
wsbasic Update to 1_2_7, from <wenheping@gmail.com> via PR pkg/42845. 2010-02-19 14:06:19 +00:00
yabasic DESTDIR support 2010-02-04 01:32:00 +00:00
yap Update to YAP-6.0.5 2010-05-18 09:24:43 +00:00
Makefile Sort. 2010-03-18 09:19:40 +00:00