summaryrefslogtreecommitdiff
path: root/lang
AgeCommit message (Collapse)AuthorFilesLines
2007-12-02Update HOMEPAGES and MASTER_SITES; from Sergey Svishchev.wiz1-3/+3
2007-12-02Remove Ex-MASTER_SITE. From Zafer Aydogan.wiz2-7/+4
2007-12-02Remove Ex-MASTER_SITEs. From Zafer Aydogan.wiz1-5/+2
2007-12-02Remove Ex-MASTER_SITE. From Zafer Aydogan.wiz2-6/+4
2007-12-02Remove ex-MASTER_SITE. From Zafer Aydogan.wiz1-3/+2
2007-12-02Remove ex-MASTER_SITEs. From Zafer Aydogan.wiz1-4/+1
2007-12-01Update lang/ocamlduce to 3.10.0tonio2-6/+8
This update lets ocamlduce work with ocaml 3.10
2007-12-01Maybe it's better to keep the directory for the *.maude files as it wasrillig2-12/+12
before the update.
2007-12-01Updated maude to 2.3.rillig5-42/+21
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-01Update lang/coq to 8.2pl2tonio5-16/+42
As camlp5 is required with ocaml 3.10, bring it as a dependency anyway, instead of requiring ocaml 3.10 Changes include: * Installation - Support for compilation with ocaml 3.10 and (transitional) camlp5. - Many bugs have been fixed (cf coq-bugs web page) - All known failures of ROmega have been fixed. It should now be a faithful and quicker replacement for Omega (except when nat parts are involved). ROmega and Omega now handle <->. - Better computational behavior of some constants (eq_nat_dec and le_lt_dec more efficient, Z_lt_le_dec and Positive_as_OT.compare transparent) [exceptionally source of incompatibilities]. - Loading FSets/FMap used to open unwanted scopes of integer datatypes (see bug #1347). These scopes may need to be manually opened now.
2007-12-01enable camlp5tonio1-1/+2
2007-12-01Add lang/camlp5 version 5.01tonio6-0/+190
Camlp5 is a preprocessor and pretty-printer for OCaml programs. It also provides parsing and printing tools. As a preprocessor, it allows to: - extend the syntax of OCaml, - redefine the whole syntax of the language. As a pretty printer, it allows to: - display OCaml programs in an elegant way, - convert from one syntax to another, - check the results of syntax extensions. Camlp5 also provides some parsing and pretty printing tools: - extensible grammars - extensible printers - stream parsers and lexers - pretty print module It works as a shell command and can also be used in the OCaml toplevel.
2007-12-01Cleaned up the package. The only functional change is that the man/man3rillig1-21/+11
directory is created, which means that all files are properly installed.
2007-12-01Updated gprolog to 1.3.0.rillig17-448/+157
Change in GNU Prolog version 1.3.0: * official release (Jan 4 2007) * change error messages emitted by the compiler to follow GNU standards * modify doc (mainly rename manual.xxx to gprolog.xxx) * add DESTDIR variable support in main Makefile for staged installs * fix a bug with Prolog floats in x86_64/linux (bad stack alignment) * port for ix86/darwin (Mac OS X) * add check target to main Makefile * improve Win32 ports (cygwin, MinGW, MSVC 6.0 and 2005 Express Edition) (MSVC port uses MinGW as.exe instead of nasm.exe - named mingw-as.exe provided in the setup.exe) * rename call/2 to call_det/2 * implement call/2-11 as will be defined in the next standard * fix various problems when compiling with gcc 4 (gcc 4.1.1) * emit .note.GNU-stack to mark the stack as no executable in x86_any.c, x86_64_any.c and powerpc_any.c * change the way objects are found (obj_chain.c) using gcc ctors * use Doug Lea malloc for OpenBSD (problem with malloc using mmap) * fix problems in various ports: alpha/linux, powerpc/darwin (Mac OS X), sparc/solaris, ix86/OpenBSD Change in GNU Prolog version 1.2.19: * fix 2 bugs in global variables Change in GNU Prolog version 1.2.18: * fix problem when compiling with gcc 3.4.0 * fix bug in term comparison involving negative integers * add consult, ... and fix minor bugs in the Win32 GUI console menu * fix the stack overflow detection under cygwin * port to ix86/MinGW - many thanks to: Cesar Rabak <csrabak@ig.com.br> * fix a problem in the port to x86/OpenBSD * port to sparc/NetBSD and powerpc/NetBSD - many thanks to: Jason Beegan <jtb@netbsd.org> * fix a bug in =../2 involving FD variables * fix a bug in arithmetics (in float_{integer/fractional}_part) * fix a bug in FD solver (wrong union with a singleton) Change in GNU Prolog version 1.2.17: * change configure.in: by default ebp is not used * fix a but with CTRL+C handler not reinstalled * fix a bug with _XXX (re)displayed under the top-level * port to x86_64/linux - many thanks to: Gwenole Beauchesne <gbeauchesne@mandrakesoft.com>
2007-12-01Joerg, could you please read the chmod(1) man page before makingrillig1-2/+2
directories inaccessible?
2007-11-30MAINTAINER -> pkgsrc-usersrillig1-2/+2
2007-11-30Fixed invalid lvalue.rillig2-1/+17
2007-11-28Use "ln -s" instead of "cp -r" for making DragonFly equivalent torillig1-2/+2
NetBSD, since the latter command doesn't like the inaccessible files that are created when patching against /dev/null.
2007-11-23Make it build on NetBSD-current again: use a private malloc implementationdrochner1-1/+6
to avoid jemalloc. The simple allocator used by clisp in the NetBSD case appears to use some assumptions, like allocations below sbrk(), which don't hold with jemalloc. We might switch to another allocator later, but as the code looks this needs more work and testing. From Aleksej Saushev per PR pkg/37381; the patch is attributed to Arnaud Degroote. Should also fix PR pkg/37304 from Yakovetsky Vladimir.
2007-11-23Update to 5.2.5adrianp5-36/+7
* Security Enhancements and Fixes in PHP 5.2.5: Fixed dl() to only accept filenames. Reported by Laurent Gaffie. Fixed dl() to limit argument size to MAXPATHLEN (CVE-2007-4887). Reported by Laurent Gaffie. Fixed htmlentities/htmlspecialchars not to accept partial multibyte sequences. Reported by Rasmus Lerdorf Fixed possible triggering of buffer overflows inside glibc implementations of the fnmatch(), setlocale() and glob() functions. Reported by Laurent Gaffie. Fixed "mail.force_extra_parameters" php.ini directive not to be modifiable in .htaccess due to the security implications. Reported by SecurityReason. Fixed bug 42869 (automatic session id insertion adds sessions id to non-local forms). Fixed bug 41561 (Values set with php_admin_* in httpd.conf can be overwritten with ini_set()). * Key enhancements in PHP 5.2.5 include: Upgraded PCRE to version 7.3 Updated timezone database to version 2007.9 Added ability to control memory consumption between request using ZEND_MM_COMPACT environment variable. Improved speed of array_intersect_key(), array_intersect_assoc(), array_uintersect_assoc(), array_diff_key(), array_diff_assoc() and array_udiff_assoc() functions Fixed bug 43139 (PDO ignores ATTR_DEFAULT_FETCH_MODE in some cases with fetchAll()) Fixed bug 42785 (json_encode() formats doubles according to locale rather then following standard syntax) Fixed bug 42549 (ext/mysql failed to compile with libmysql 3.23) Over 60 bug fixes. For all the details see: http://www.php.net/ChangeLog-5.php#5.2.5
2007-11-21Properly fix the problem that 1.40 addressed. PERL5_REQD should beminskim1-4/+4
treated as a list.
2007-11-21Back out 1.37 as it breaks PERL5_REQD (e.g. show-depends injoerg1-1/+3
mail/p5-Email-Send).
2007-11-21Need to include vars.mk for ${PERL5_SUB_INSTALLARCHLIB}.obache1-1/+2
2007-11-20Not for Solaris.rillig1-1/+3
2007-11-19When buildlinking perl, set PERL5 to pkgsrc perl, not the one selectedminskim1-1/+5
by the tools framework.
2007-11-19Bump PKGREVISION because of the mk/tools/perl.mk changes. There wasminskim1-2/+2
a window during which perllink didn't work properly on Darwin.
2007-11-18If perl is buildlinked, used perl in ${BUILDLINK_PREFIX.perl} andminskim2-6/+4
do not rely on the tools framework.
2007-11-18For the moment disable the building of a shared libperl.dylib on Darwinadrianp1-2/+11
=> 9.0 as it breaks the build. This should just be considered a temporary work around until the actual problem can be fixed as this worked for Darwin < 9.0. There are no changes to perl on any other platforms. This should address PR# 37225
2007-11-11Remove morpheus.wish.com.mx from MASTER_SITES, doesn't resolve.wiz1-3/+2
From Zafer Aydogan in PR 37316.
2007-11-11Added commented-out LICENSE=something.martti1-1/+2
2007-11-08Supports DESTDIR.joerg1-1/+3
2007-11-07Update to 1.0.11. Lots of bugfixes, new features, etc. I expectjonb3-8/+33
that this update will close a couple of PRs that have been filed against the SBCL package.
2007-11-07There is a bash script in the package. PKGREVISION++rillig2-7/+5
Fixed some ancient unneeded PLIST lines.
2007-11-07Removed ONLY_FOR_PLATFORM, which was meant to exclude very early NetBSDrillig1-4/+1
releases.
2007-11-07Don't hide user-defined commands.rillig1-4/+4
2007-11-06add a patch from Redhat bugzilla #323571 to fix CVE-2007-5116:drochner3-3/+65
A flaw was found in Perl's regular expression engine. Specially crafted input to a regular expression can cause Perl to improperly allocate memory, possibly resulting in arbitrary code running with the permissions of the user running Perl.
2007-11-05apply a patch from Debian for CVE-2007-5197:drochner4-3/+31
Buffer overflow in the Mono.Math.BigInteger class in Mono allows context-dependent attackers to execute arbitrary code via unspecified vectors
2007-11-05Fixed building with newer versions of boehm-gc, which doesn't providerillig4-2/+45
the GC_quiet variable.
2007-11-05fix build on Solaris w/ sunpro:grant1-2/+4
- don't call the linker directly to build shared libraries, use ${CC} -G - link libsunmath statically, as it is provided by SUNWspro and therefore not available on systems where the compiler is not installed.
2007-11-03Added MAKE_JOBS_SAFE as suggested in PR 37242.rillig1-1/+2
2007-11-03Added MAKE_JOBS_SAFE as suggested in PR 37234.rillig1-1/+2
2007-11-03Added MAKE_JOBS_SAFE as suggested in PR 36736.rillig1-1/+2
2007-11-03Added MAKE_JOBS_SAFE as suggested in PR 35043.rillig1-1/+2
2007-11-03Properly fixed the problem of an uninitialized variable, which has beenrillig2-1/+18
reported in PR 33240.
2007-11-02Updated fort77 to 1.18. No ChangeLog available.rillig5-63/+30
2007-11-02Do not run arbitrary text substitutions on files in ${WRKDIR}/.*. Thisrillig1-2/+2
made the wrapper scripts un-executable, causing the package to fail to build.
2007-11-02Changes 3.1.6:adam6-42/+18
1. `gawk 'program' /non/existant/file' no longer core dumps. 2. gawk now only uses the locale's decimal point 3. `gawk -v BINMODE=1 ...' works again. 4. Internal file names like `/dev/user' now work again. (Note that these file names are obsolete and will go away eventually.) 5. Problems with wide strings in non "C" locales have been straightened out everywhere. (At least, we think so.) 6. Use of `ansi2knr' is no longer supported. Please use an ANSI C compiler. 7. Updated to Autoconf 2.61, Automake 1.10, and Gettext 0.16.1. 8. The getopt* and regex* files were synchronized with current GLIBC CVS. See the ChangeLog for the versions and minor edits made. 9. There are additional --lint-old warnings. 10. Gawk now uses getaddrinfo(3) to look up names and IP addresses. This allows the use of an IPv6 format address and paves the way for eventual addition of `/inet6/...' and `/inet4/...' hostnames. 11. We believe gawk to now be valgrind clean. At least when run against the test suite. 12. A number of issues dealing with the formatting and printing of very large numbers in integer formats have been dealt with and fixed. 13. Gawk now converts "+inf", "-inf", "+nan" and "-nan" into the corresponding magic IEEE floating point values. Only those strings (case independent) work. With --posix, gawk calls the system strtod directly. You asked for it, you got it, you deal with it. 14. Defining YYDEBUG enables the -D command line option. 15. Gawk should now work out of the box on Tandem NSK/OSS systems. 16. Lint messages rationalized: many more of the messages are now printed only once, instead of every time they are encountered. 17. The strftime() function now accepts an optional third argument, which if non-zero or non-null, indicates that the time should be formatted as UTC instead of as local time. 18. The precedence of concatenation and `| getline' (in something like "echo " "date" | getline stuff) has been reverted to the earlier behavior and now once again matches Unix awk. 19. New configure time flag --disable-directories-fatal which causes gawk to silently skip directories on the command line. This behavior is also enabled for --traditional, since it's what Unix awk does. 20. A new option, --use-lc-numeric, forces use of the locale's decimal point without the rest of the draconian restrictions imposed by --posix. This softens somewhat the stance taken in item 2. 21. Everything relevant has been updated to the GPL 3. 22. Array growth should be faster now, at no cost in space. 23. Lots more tests. 24. One new translation. 25. Various bugs fixed, see the ChangeLog for details.
2007-10-31With the advent of Apache module prefixes the Python package prefixjoerg1-2/+2
might not the first component of PKGNAME_REQD. Change this to match either py[0-9][0-9] or the same string after a hyphen.
2007-10-30Make the port program memsup build again. This way, PLIST is correct, sois3-8/+12
that pkg_sync and pkg_tarup work (on NetBSD-4). memsup.erl/memsup.c still need work to make it actually work on NetBSD.
2007-10-29Initial addition of buildlink3.mk fragments for EmacsLisp packages.uebayasi1-0/+22
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-29 00:52:05 +0000