Commit graph

39 commits

Author SHA1 Message Date
joerg
a19083df44 Mark packages that require C++03 (or the GNU variants) if they fail with
C++14 default language.
2018-07-18 00:06:10 +00:00
agc
30b55df38e Convert all occurrences (353 by my count) of
MASTER_SITES= 	site1 \
			site2

style continuation lines to be simple repeated

	MASTER_SITES+= site1
	MASTER_SITES+= site2

lines. As previewed on tech-pkg. With thanks to rillig for fixing pkglint
accordingly.
2017-01-19 18:52:01 +00:00
rillig
498ad28945 Fixed pkglint warnings. 2016-12-17 13:38:02 +00:00
dholland
41c6e246f4 Add patch comments. 2015-12-29 23:34:43 +00:00
agc
54622f28e2 Add SHA512 digests for distfiles for lang category
Problems found with existing digests:
	Package nhc98 distfile nhc98src-1.22.tar.gz
	a8adc8f22371998ee0657bc0e01058a57d876abc [recorded]
	81975fcb5f1dda5efeaabc30ce8c6dceae55e591 [calculated]

Problems found locating distfiles:
	Package gcc-aux: missing distfile ada-bootstrap.i386.dragonfly.36A.tar.bz2
	Package gcc-aux: missing distfile ada-bootstrap.i386.freebsd.84.tar.bz2
	Package gcc-aux: missing distfile ada-bootstrap.x86_64.dragonfly.36A.tar.bz2
	Package gcc-aux: missing distfile ada-bootstrap.x86_64.freebsd.84.tar.bz2
	Package gcc-aux: missing distfile ada-bootstrap.x86_64.solaris.511.tar.bz2
	Package gcc5-aux: missing distfile ada-bootstrap.i386.dragonfly.36A.tar.bz2
	Package gcc5-aux: missing distfile ada-bootstrap.i386.freebsd.84.tar.bz2
	Package gcc5-aux: missing distfile ada-bootstrap.x86_64.dragonfly.36A.tar.bz2
	Package gcc5-aux: missing distfile ada-bootstrap.x86_64.freebsd.84.tar.bz2
	Package gcc5-aux: missing distfile ada-bootstrap.x86_64.solaris.511.tar.bz2
	Package ghc7: missing distfile ghc-7.6.3-boot-i386-unknown-freebsd.tar.xz
	Package icc11: missing distfile l_cproc_p_11.1.080.tgz
	Package jini: missing distfile jini-1_2_1_001-src.zip
	Package oo2c: missing distfile oo2c_32-2.0.11.tar.bz2
	Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-freebsd-10-amd64-20150301.tar.xz
	Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-5-i386-20150301.tar.xz
	Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-6-i386-20150301.tar.xz
	Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-earmv6hf-20150306.tar.xz
	Package openjdk7: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-sparc64-20150301.tar.xz
	Package openjdk7: missing distfile openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.8-amd64-20140719.tar.bz2
	Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-freebsd-10-amd64-20150301.tar.xz
	Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-5-i386-20150301.tar.xz
	Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-6-i386-20150301.tar.xz
	Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-earmv6hf-20150306.tar.xz
	Package openjdk8: missing distfile openjdk7/bootstrap-jdk-1.7.76-netbsd-7-sparc64-20150301.tar.xz
	Package openjdk8: missing distfile openjdk7/bootstrap-jdk7u60-bin-dragonfly-3.8-amd64-20140719.tar.bz2
	Package oracle-jdk8: missing distfile jdk-8u60-linux-i586.tar.gz
	Package oracle-jdk8: missing distfile jdk-8u60-solaris-x64.tar.gz
	Package oracle-jre8: missing distfile jre-8u60-linux-i586.tar.gz
	Package oracle-jre8: missing distfile jre-8u60-solaris-x64.tar.gz
	Package sun-jdk6: missing distfile jdk-6u45-linux-i586.bin
	Package sun-jdk6: missing distfile jdk-6u45-solaris-i586.sh
	Package sun-jdk7: missing distfile jdk-7u72-linux-i586.tar.gz
	Package sun-jdk7: missing distfile jdk-7u72-solaris-i586.tar.gz
	Package sun-jre6: missing distfile jce_policy-6.zip
	Package sun-jre6: missing distfile jre-6u45-linux-x64.bin
	Package sun-jre6: missing distfile jre-6u45-solaris-x64.sh
	Package sun-jre7: missing distfile jre-7u72-linux-i586.tar.gz
	Package sun-jre7: missing distfile jre-7u72-solaris-i586.tar.gz

Otherwise, existing SHA1 digests verified and found to be the same on
the machine holding the existing distfiles (morden).  All existing
SHA1 digests retained for now as an audit trail.
2015-11-03 22:50:31 +00:00
joerg
c61410f83d Fix build with newer bison. Don't use <rope> with clang, but fall back
to <string>. Untested for functionality.
2013-11-29 18:30:09 +00:00
asau
88feb4ac62 Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days. 2012-10-02 20:11:34 +00:00
asau
1008bb1546 Update Maude to version 2.6
This release incorporates mostly optimizations and bug fixes.
Read bundled NEWS for more details.
2011-04-19 19:18:40 +00:00
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
asau
00708ce7e3 Recursive revision bump for GMP update. 2010-03-24 19:43:21 +00:00
joerg
62d1ba2bac Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00
wiz
dc440756b2 Convert to user-destdir, and mark as MAKE_JOBS_SAFE=no (latter part
from Ryo HAYASAKA in PR 40743).
2009-03-06 09:55:30 +00:00
rillig
b32b7657bb Replaced the deprecated INSTALLATION_DIRS_FROM_PLIST with AUTO_MKDIRS,
to shut up the pkglint warnings.
2008-02-28 11:58:47 +00:00
rillig
c53f090cc0 Maybe it's better to keep the directory for the *.maude files as it was
before the update.
2007-12-01 13:17:56 +00:00
rillig
d90fbc9574 Updated maude to 2.3.
Overview of Changes in Maude alpha88f
=====================================
* added commutative unification
* fixed free theory instantiation bug
* fixed sort calculation of S_Theory terms bug
* fixed unification with too many variables bug
* added iter theory unification

Overview of Changes in Maude alpha88e
=====================================
* string, qid and float constants allowed in unification
* fixed unify f(X, Y) =? f(Y, X)  bug

Overview of Changes in Maude alpha88d
=====================================
* set trace builtin on/off command
* state caching in strategy language
* first suppport for unification

Overview of Changes in Maude alpha88c
=====================================
* extra advisories in metalevel
* min/max operators in FLOAT
* slight change to search semantics
* metalevel projection functions now support parameterized metamodules
* fixed kind printing bug in metaPrettyPrint()
* erwrite supports limit and continue

Overview of Changes in Maude alpha88b
=====================================
* minor syntactic changes to appease gcc 4.1
* minor importation changes in prelude.maude and model-checker.maude
* fixed extension tracing bugs in search/model checker, strategy
  language and metalevel
* revised/extended strategy language; cont now works with srew
* fixed trace condition bug

Overview of Changes in Maude alpha88a
=====================================
* many changes to the prelude to fix unsoundness concerns
* process based reimplementation of strategy language
* better overparsing for operator declarations
* fixed bug with views mapping to terms from FLOAT/STRING/QID
* fixed bug in AU unique collapse matcher
* fixed bug that allowed parsing of parameterized theories
* fixed upModule() bug affecting renamings
* fixed metaXmatch() kind bug introduced by alpha86 fix
* subset tests for SET and SET*
* predefined term ordering module

Overview of Changes in Maude alpha88
====================================
* fixed more sufficient completeness issues
* search command now takes a depth bound
* added metaNormalize()
* added machine ints module

Overview of Changes in Maude alpha87a
=====================================
* fixed bug in ! strategy combinator
* fixed long standing bug in look up code for assoc ops

Overview of Changes in Maude alpha87
====================================
* crude first version of strategy language

Overview of Changes in Maude 2.2 (alpha86e)
===========================================
* fixed long standing metalevel prec bug

Overview of Changes in Maude alpha86d2
======================================
* reorganized metalevel list sorts to fix sufficient completeness
  problem

Overview of Changes in Maude alpha86d
=====================================
* fixed stale pointer bug in view reevaluation
* minor fixes to prelude.maude
* fixed uninitialized format attribute bug
* fixed parameter theory module expression memory leak
* fixed polymorph identity memory leak
* fixed polymorph identity processing bug
* added and used QID-SET fmod
* fixed metamodule cache deletion bug
* sortLeq and lesserSort now work on types

Overview of Changes in Maude alpha86c
=====================================
* improved recovery from surface syntax errors
* added DEFAULT fth, various views and ARRAY fmod
* added LIST-AND-SET fmod
* added linear Diophantine solver
* warn about object level duplicate attributes
* fixed backquote in created module name bug
* fixed view ACU op->term mapping bug
* added -no-wrap command line option
* disallow parameter passing in nonfinal instantiations
* allow renaming of modules with bound parameters

Overview of Changes in Maude alpha86b
=====================================
* module garbage collection bug fixed
* metasummation bug fixed
* target modules with free parameters no longer allowed in views
* illegal importations no longer tolerated
* views can no longer map module defined stuff
* renamings can no longer map parameter defined stuff
* operator mappings now allowed in views
* dependency tracking supports views
* meta support for parameterization
* identity elements added for various structures in prelude

Overview of Changes in Maude alpha86a
=====================================
* fixed parameter checking bug for modules with both free and bound
  parameters
* structured sorts printed correctly in various places
* theory-views now pushed into parameterized sorts
* new naming convention for otf modules
* bound parameter instantiation now handled like Full Maude
* -no-advise command line flag
* declined messages to external objects generate advisories

Overview of Changes in Maude alpha86
====================================
* fixed loop mode \/ bug
* metaPrettyPrint() now supports options
* preregularity and constructor consistancy errors now produce a
  single informative warning
* set trace rewrite and set trace body options
* fixed metaXmatch() kind clash bug
* SO_REUSEADDR flag set on server sockets
* first attempt at parameterization in module system

Overview of Changes in Maude alpha85a
=====================================
* fixed more sufficient completeness issues in the prelude
* metadata attribute now allowed for operator declarations
* added crude support for sockets as external objects

Overview of Changes in Maude alpha85
====================================
* added min/max functions to number hierarchy
* fixed bug in up'ing FloatOpSymbol hook
* fixed sufficient completeness issues in the prelude
* fixed a bug in up'ing terms which gave kind variables the wrong
  sort
* glbSorts() now handles kinds
* show profile now includes percentages
* show path labels command added
* metaSearchPath() added
* set clear rules on/off command added
* maximalAritySet() added

Overview of Changes in Maude alpha84d
=====================================
* fixed 0.0 ^ -1.0 bug
* module selectors now support theories

Overview of Changes in Maude alpha84c
=====================================
* added random number generation
* added counters
* trace applications in metaApply()/metaXapply()
2007-12-01 13:15:55 +00:00
joerg
bba84c93da Retire propolice hack on DragonFly as the system compiler was fixed
and the changes pulled up to all release branches.
2007-02-19 22:10:42 +00:00
wiz
c47dd3ce22 USE_LANGUAGES=c c++; remove empty post-install target. 2006-05-21 02:21:52 +00:00
joerg
f224931835 DragonFly GCC ProPolice ICE. 2006-05-02 13:32:30 +00:00
joerg
6858b24aed Add some missing includes. Fix C++ for GCC 3.4+. 2006-05-02 13:31:55 +00:00
joerg
5911def816 Recursive revision bump / recommended bump for gettext ABI change. 2006-02-05 23:08:03 +00:00
tonio
ef23d02256 Update lang/maude to 2.1.1
Let the package use the TOOLS facilities for flex and bison
Changes in this version includes a few bugfixes, support for syntax for
theories, and parser improvement
Update fixes PR 31753
2005-10-14 19:54:39 +00:00
tv
f816d81489 Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used. 2005-04-11 21:44:48 +00:00
agc
475ab002d7 Add RMD160 digests 2005-02-24 09:03:05 +00:00
kristerw
48e163dc10 Correct WRKSRC to not use the nb[0-9]* from PKGVERSION. 2004-10-09 16:29:56 +00:00
tv
c487cb967a Libtool fix for PR pkg/26633, and other issues. Update libtool to 1.5.10
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-10-03 00:12:51 +00:00
snj
a50c60886c Convert to buildlink3. 2004-05-02 23:02:06 +00:00
agc
3ad1bdbf06 Move WRKSRC definition away from the first paragraph in a Makefile. 2004-01-20 12:18:15 +00:00
kristerw
a0e65e6496 Update lang/maude to version 2.0.1.
Maude 2 extends and generalizes Maude 1 to allow more expressive
modules and a wider range of computational commands.

The license has been changed to the GNU General Public License.
2003-12-31 01:20:35 +00:00
cube
505a62bf9c Point to the correct location of distfile. 2003-11-15 08:46:15 +00:00
martti
ee90b572a6 COMMENT should start with a capital letter. 2003-07-21 16:45:54 +00:00
grant
0155927c43 s/netbsd.org/NetBSD.org/ 2003-07-17 21:41:05 +00:00
jschauma
e366d0c694 Use tech-pkg@ in favor of packages@ as MAINTAINER for orphaned packages.
Should anybody feel like they could be the maintainer for any of thewe packages,
please adjust.
2003-06-02 01:15:31 +00:00
wiz
28a4483bc7 NO_PATCH is deprecated, says pkglint. Remove it. 2003-03-28 21:14:10 +00:00
jmc
d1e5712296 Update master site url for downloads 2003-03-23 23:56:15 +00:00
zuntum
a437fd43cc Move pkg/ files into package's toplevel directory 2001-11-01 00:20:13 +00:00
agc
8118fe36ae Move to sha1 digests, and add distfile sizes. 2001-04-19 15:00:47 +00:00
agc
fb467f5ac2 + move the distfile digest/checksum value from files/md5 to distinfo
+ move the patch digest/checksum values from files/patch-sum to distinfo
2001-04-17 11:22:34 +00:00
wiz
e6c2b658b4 Oops, uncomment LICENSE. 2001-03-20 12:01:25 +00:00
wiz
f88e4c531b Initial import of maude, a system for equational and rewriting logic
specification/programming.
Package provided by Paolo Torelli in pkg/11280.
Attention: Very restrictive license, to be filled out and returned in
hardcopy before usage.
2001-03-20 11:57:41 +00:00