Commit graph

4469 commits

Author SHA1 Message Date
rillig
52ec81ff15 Shortened the definition of a meta-package. 2008-01-13 23:07:14 +00:00
obache
b1e4ec8ec7 Fix RUBY_DYNAMIC_DIRS to DESTDIR ready.
Now ruby18-base really support DESTDIR.
2008-01-13 09:09:13 +00:00
joerg
fcb48c5b42 Appease pkglint^Wrillig and add a note for patch-as. 2008-01-13 00:20:22 +00:00
bad
596ed1c8c1 Update Squeak to 3.9-8.
Based on patches by Brian de Alwis in PR pkg/37522.
Don't include aio.h in patch-ak, it is not needed.
Don't require bash for npsqueakrun yet.  There is more work to do to
make the nsqueak plugin work.

Changes since 3.6-3:

*2006-10-10* 	3.9-8 released. <release/RELEASE_NOTES_3.9-8> ALSA support
for Linux. Problems with iconv() fixed on Solaris.
*2006-04-24* 	3.9-7 released. <release/RELEASE_NOTES_3.9-7>
Modifications to the mechanism the VM uses to relinquish the processor
for very short intervals to avoid high CPU loads while idling.
UUIDPlugin is now external to prevent the VM failing to run when libuuid
is missing or uncooperative. AioPlugin is bundled. Aliases are resolved
in path names on OS X.
*2006-04-19* 	3.9-4 released. <release/RELEASE_NOTES_3.9-4> KeyUp events
are no longer reported for autorepeats under X11. Improvements to socket
latency. Security plugin now obeys SQUEAK_USERDIR if set. OSProcess and
XDisplayControl plugins updated from current distributions and bundled.
The 3.9 Unix VMs are now fully compatible with Croquet and will run both
Squeak and Croquet images. Additional plugins required for Croquet are
now supported and bundled in both source and binary releases:
CroquetPlugin, FloatMathPlugin and UUIDPlugin.
*2004-04-06* 	3.7-7 released. <release/RELEASE_NOTES_3.7-7>
Documentation updated to reflect recent organisational changes. 'gnuify'
no longer requires gawk. Obscure bug in socket option lookup fixed.
NPSqueak changes from Bert (SQUEAK_USERDIR environment variable
overrides 'My Squeak', plus several bug fixes). Event code updated for
recent changes to event structures. README, manual page, and how-to
documentation updated and revised. Instructions for SVN checkout added.
'Easy build' route for checked-out SVN repository sources added. Browser
plugin now supports imageName and failureUrl attributes within <embed
...> tag. Preliminary support for XDND-based drag-and-drop (Gnome, KDE,
etc.) in the X11 display driver. New flag '-glxdebug <n>' prints OpenGL
diagnostics in X11 display driver. Interpreter should no longer crash
when loading image segments into memory above the 2GB boundary (thanks
to Ned Konz). Additional checks for bad external data in SocketPlugin.
Less inappropriate noise when probing for external plugins. Problems
preventing more than one external plugin from loading in Mac OS X fixed.
2008-01-12 23:30:38 +00:00
joerg
29c756efc4 Fix build on newer Linux systems. 2008-01-12 15:12:39 +00:00
tonio
345108cf65 Update lang/coq to 8.1pl3
hanges from V8.1pl2 to V8.1pl3
===============================
Bug fixes
- A critical bug and a few other bugs have been fixed.
2008-01-12 11:48:39 +00:00
bjs
076774dcc2 Add MAKE_JOBS_SAFE=no ... I thought I did this a long time ago, but evidently not. 2008-01-11 09:36:23 +00:00
ghen
70b9a2b5e0 Full DESTDIR support for sun-{jre|jdk}14. 2008-01-09 02:54:39 +00:00
ghen
c4910d7e48 Full DESTDIR support for sun-{jre|jdk}15. 2008-01-09 02:38:26 +00:00
apb
a50179c5f5 bump PKGREVISION for previous change to patch-ah. 2008-01-08 16:43:31 +00:00
apb
71e9b52b3a NetBSD's /proc/${pid}/exe is sometimes a symlink to "/" instead of to the
actual program name, so Perl's $^X or $EXECUTABLE_NAME variable was wrong.
Change a test to detect this case, and fall back to using argv[0].
2008-01-08 15:19:38 +00:00
tron
ace7788c29 Update "sun-jre15" and "sun-jdk15" packages to vesion 5.0.14.
Changes since version 5.0.12:
6457444 	doclet 	stddoclet 	javadoc does not create html file correctly in 5.0u6
6519085 	hotspot 	compiler2 	JVM crashes executing test suite of JavaDB (derby)
6321689 	hotspot 	compiler2 	Ideal_DU_postCCP not conservative enough
6565138 	hotspot 	compiler2 	1.5.0_10 64-Bit SIGBUS with ParallelGC in MarkSweep::MarkAndPushClosure::do_oop
6545719 	hotspot 	garbage_collector 	Regression : Infinite GC occurs after fix in CR 6370163
6558100 	hotspot 	garbage_collector 	CMS crash following parallel work queue overflow
6515362 	hotspot 	runtime_system 	fix for 6374419 suppresses real error message from the linker
6528763 	hotspot 	runtime_system 	VM crashes because of something related to LoaderConstraintEntry in 6.0
6546278 	hotspot 	runtime_system 	Synchronization problem in the pseudo memory barrier code
6553303 	idl 	orb 	Corba application fails w/ org.omg.CORBA.COMM_FAILURE: vmcid: SUN minor code: 203 completed: No
6543815 	java 	classes_2d 	Imageable area of PageFormat is ignored if values of imageable X/Y are negative.
6480378 	java 	classes_awt 	Backport 5065001, 6259348 and others to 5.0 update release
6577717 	java 	classes_awt 	Textboxes don't work in applets under windows and linux
6562716 	java 	classes_awt 	focus request queue is not updated when rejecting focus on EmbeddedFrame (win32)
6542420 	java 	classes_awt 	A cross-platform ModalityListener interface should be provided in 1.5.0
6593729 	java 	classes_io 	After failed file close, do not repeat the close operation.
6525425 	java 	classes_lang 	(ref) heavy lock contention during object serialization on Solaris10/T2000
6206527 	java 	classes_net 	"cannot assign address" when binding ServerSocket on Suse 9
6601686 	java 	classes_net 	InetAddress.isReachable(timeout) may not return after timout milliseconds
6599750 	java 	classes_net 	InetAddress.isReachable implementation not completely thread safe
6518816 	java 	classes_net 	Reduce the memory foot print for HttpURLConnection
6520665 	java 	classes_net 	NTLM Authentication not requested, throws null exception
6587875 	java 	classes_net 	InetAddress.isReachable() will not work for super users with "large" process ids
6314370 	java 	classes_net 	Nightly: Jaws hang on "Starting application..." window
6469580 	java 	classes_security 	1.5.0_08 JVM crashes in SignatureHandlerLibrary::add on Fujitsu Primepower platform
6418433 	java 	classes_security 	org.ietf.jgss.Oid constructor accepts invalid values (and rejects valid values)
6570062 	java 	classes_security 	Kerberos authentication regression
6543940 	java 	classes_security 	Exception thrown when signing a jarfile in java 1.5
6512054 	java 	classes_security 	SUBJECTDOMAINCOMBINER DOES NOT COMBINE CODE-BASED GRANTS IN JAAS MODE
6520101 	java 	classes_swing 	FileChooser will cause OutOfMemory when application will run long time
4743558 	java 	classes_text 	[BI] test/java/text/BreakIterator/BreakIteratorTest.java fails in th locale.
6483402 	java 	classes_util_i18n 	(date) calling java.util.Date.toString() slows down subsequent calls to the class
6531591 	java 	classes_util_i18n 	Currency update for Sudan
6538601 	java 	classes_util_i18n 	Periodical timezone display name revision
6554586 	java 	classes_util_i18n 	(tz) Support tzdata2007f
6611886 	java 	classes_util_i18n 	(tz) support tzdata2007h
6571205 	java 	classes_util_i18n 	Currency data changes for ISO 4217 Amendment 139
6570259 	java 	classes_util_i18n 	Currency data changes for ISO 4217 Amendment 138
6531593 	java 	classes_util_i18n 	Currency update for Iceland
5088563 	java 	classes_util_regex 	Matcher.find throws StringIndexOutOfBoundsException if pattern is missing ']'
6464451 	java 	compiler 	javac in 5.0ux can not compile try-catch block which has a lot of "return"
6557713 	java 	imageio 	Java unable to convert from gif to png format
6579208 	java 	install 	FamilyVersionSupport removed when installing jre-6u2-windows-i586-p.exe
6476329 	java 	localization 	PIT: additional sentence needs to be translated for 6267625
6531255 	java 	localization 	Need to update timezone display names for en_CA locale
6534678 	java 	localization 	l10n of 6525138
6547501 	java 	localization 	There should be a space before % sign in French locale
6454676 	java 	serviceability 	Need -XX:+HeapDumpOnCtrlBreak to trigger heap dump on ctrl-break or ctrl-\
6494472 	java 	serviceability 	jmap -permstat fails with Out of swap because uses too much memory
6494722 	java 	serviceability 	SA: jstack throws get_thread_regs failed for lwp debugger exception.
6431847 	java 	tools 	Memory overflow in java launcher for Linux
6502051 	java_deployment 	update 	jusched crash: buffer overrun
6503510 	java_plugin 	iexplorer 	Crash occurs during verification of 5.0u10b02
6555628 	java_plugin 	iexplorer 	Repeatedly open and close an applet freezes IE
6572147 	java_plugin 	iexplorer 	Browser hang as an applet open and close repeatedly in 0.5-sec interval
6578895 	java_plugin 	iexplorer 	NPE null pData general exeception occured as applet reloading repeatedly
6579743 	java_plugin 	iexplorer 	Regression : Java Console pops up unexpectedly in 5.0u13-b01
6576321 	java_plugin 	iexplorer 	Browser hang by a deadlock with open and close applet repeatedly
6522028 	java_plugin 	iexplorer 	The print dialog moves the current IE frame to background
6530198 	java_plugin 	misc 	1.5.0_10 focus is not correctly returned to a JFrame
6586045 	java_plugin 	misc 	browser crashes on an XP japanese machine with 6u5 deploy nightly build
6502568 	java_plugin 	other 	request header has garbage characters when size of cookie is greater than 4k
6556044 	java_plugin 	other 	JRE SSL Handshake error in jdk1.5.0
6373274 	javawebstart 	download_engine 	Jar resources nested in JRE resources block are broken.
6465756 	javawebstart 	jnlp_file 	cannot use CDATA xml tag within the jnlp <argument> tag
6265713 	javawebstart 	jnlp_file 	Having a query string to a jnlp file negates the SingleInstanceService
6484661 	javawebstart 	other 	cannot launch application offline if https is used
6354969 	jaxp 	other 	Bug in XPathFactory.newInstance() method
6219364 	jaxp 	sax 	com.SAXParserImpl.setProperty("feature",null) throws NullPointerException
6594813 	jaxp 	sax 	XML Parsing differences
6236727 	jaxp 	xslt 	XSLTC never stops resolving imported stylesheets when outer stylesheet is a DOMSource
6536120 	jaxp 	xslt 	HTML serializer puts no space between public and system doctype
6490921 	jaxp 	xslt 	The transformer API sometimes ignores the property org.xml.sax.driver
6467921 	jce 	pkcs11_csp 	Backport SunPKCS11 to a Tiger update on 64 bit AMD Linux platform
6560218 	jgss 	krb5plugin 	Problem with credentials from non-default realm
5053708 	jndi 	dns 	DNS provider does not cleanup resources properly
6585239 	jndi 	dns 	Regression: 2 DNS tests fail with JDK 5.0u13 b01 and pass with 5.0u12fcs
6358629 	jsse 	runtime 	SSLSocket.close() and SSLSocket.read() deadlock
6447412 	jsse 	runtime 	Issue with socket.close() for ssl sockets when poweroff on other system
6585736 	java 	classes_security 	Add GlobalSign root certificates to JDK/JRE
6595137 	java 	classes_util_i18n 	(tz) support tzdata2007g

The x86_64 changes were done by Takahiro Kambe.
2008-01-07 19:59:34 +00:00
tron
0776408050 Update "sun-jre15" and "sun-jdk15" packages to vesion 5.0.14.
Changes since version 5.0.12:
6457444 	doclet 	stddoclet 	javadoc does not create html file correctly in 5.0u6
6519085 	hotspot 	compiler2 	JVM crashes executing test suite of JavaDB (derby)
6321689 	hotspot 	compiler2 	Ideal_DU_postCCP not conservative enough
6565138 	hotspot 	compiler2 	1.5.0_10 64-Bit SIGBUS with ParallelGC in MarkSweep::MarkAndPushClosure::do_oop
6545719 	hotspot 	garbage_collector 	Regression : Infinite GC occurs after fix in CR 6370163
6558100 	hotspot 	garbage_collector 	CMS crash following parallel work queue overflow
6515362 	hotspot 	runtime_system 	fix for 6374419 suppresses real error message from the linker
6528763 	hotspot 	runtime_system 	VM crashes because of something related to LoaderConstraintEntry in 6.0
6546278 	hotspot 	runtime_system 	Synchronization problem in the pseudo memory barrier code
6553303 	idl 	orb 	Corba application fails w/ org.omg.CORBA.COMM_FAILURE: vmcid: SUN minor code: 203 completed: No
6543815 	java 	classes_2d 	Imageable area of PageFormat is ignored if values of imageable X/Y are negative.
6480378 	java 	classes_awt 	Backport 5065001, 6259348 and others to 5.0 update release
6577717 	java 	classes_awt 	Textboxes don't work in applets under windows and linux
6562716 	java 	classes_awt 	focus request queue is not updated when rejecting focus on EmbeddedFrame (win32)
6542420 	java 	classes_awt 	A cross-platform ModalityListener interface should be provided in 1.5.0
6593729 	java 	classes_io 	After failed file close, do not repeat the close operation.
6525425 	java 	classes_lang 	(ref) heavy lock contention during object serialization on Solaris10/T2000
6206527 	java 	classes_net 	"cannot assign address" when binding ServerSocket on Suse 9
6601686 	java 	classes_net 	InetAddress.isReachable(timeout) may not return after timout milliseconds
6599750 	java 	classes_net 	InetAddress.isReachable implementation not completely thread safe
6518816 	java 	classes_net 	Reduce the memory foot print for HttpURLConnection
6520665 	java 	classes_net 	NTLM Authentication not requested, throws null exception
6587875 	java 	classes_net 	InetAddress.isReachable() will not work for super users with "large" process ids
6314370 	java 	classes_net 	Nightly: Jaws hang on "Starting application..." window
6469580 	java 	classes_security 	1.5.0_08 JVM crashes in SignatureHandlerLibrary::add on Fujitsu Primepower platform
6418433 	java 	classes_security 	org.ietf.jgss.Oid constructor accepts invalid values (and rejects valid values)
6570062 	java 	classes_security 	Kerberos authentication regression
6543940 	java 	classes_security 	Exception thrown when signing a jarfile in java 1.5
6512054 	java 	classes_security 	SUBJECTDOMAINCOMBINER DOES NOT COMBINE CODE-BASED GRANTS IN JAAS MODE
6520101 	java 	classes_swing 	FileChooser will cause OutOfMemory when application will run long time
4743558 	java 	classes_text 	[BI] test/java/text/BreakIterator/BreakIteratorTest.java fails in th locale.
6483402 	java 	classes_util_i18n 	(date) calling java.util.Date.toString() slows down subsequent calls to the class
6531591 	java 	classes_util_i18n 	Currency update for Sudan
6538601 	java 	classes_util_i18n 	Periodical timezone display name revision
6554586 	java 	classes_util_i18n 	(tz) Support tzdata2007f
6611886 	java 	classes_util_i18n 	(tz) support tzdata2007h
6571205 	java 	classes_util_i18n 	Currency data changes for ISO 4217 Amendment 139
6570259 	java 	classes_util_i18n 	Currency data changes for ISO 4217 Amendment 138
6531593 	java 	classes_util_i18n 	Currency update for Iceland
5088563 	java 	classes_util_regex 	Matcher.find throws StringIndexOutOfBoundsException if pattern is missing ']'
6464451 	java 	compiler 	javac in 5.0ux can not compile try-catch block which has a lot of "return"
6557713 	java 	imageio 	Java unable to convert from gif to png format
6579208 	java 	install 	FamilyVersionSupport removed when installing jre-6u2-windows-i586-p.exe
6476329 	java 	localization 	PIT: additional sentence needs to be translated for 6267625
6531255 	java 	localization 	Need to update timezone display names for en_CA locale
6534678 	java 	localization 	l10n of 6525138
6547501 	java 	localization 	There should be a space before % sign in French locale
6454676 	java 	serviceability 	Need -XX:+HeapDumpOnCtrlBreak to trigger heap dump on ctrl-break or ctrl-\
6494472 	java 	serviceability 	jmap -permstat fails with Out of swap because uses too much memory
6494722 	java 	serviceability 	SA: jstack throws get_thread_regs failed for lwp debugger exception.
6431847 	java 	tools 	Memory overflow in java launcher for Linux
6502051 	java_deployment 	update 	jusched crash: buffer overrun
6503510 	java_plugin 	iexplorer 	Crash occurs during verification of 5.0u10b02
6555628 	java_plugin 	iexplorer 	Repeatedly open and close an applet freezes IE
6572147 	java_plugin 	iexplorer 	Browser hang as an applet open and close repeatedly in 0.5-sec interval
6578895 	java_plugin 	iexplorer 	NPE null pData general exeception occured as applet reloading repeatedly
6579743 	java_plugin 	iexplorer 	Regression : Java Console pops up unexpectedly in 5.0u13-b01
6576321 	java_plugin 	iexplorer 	Browser hang by a deadlock with open and close applet repeatedly
6522028 	java_plugin 	iexplorer 	The print dialog moves the current IE frame to background
6530198 	java_plugin 	misc 	1.5.0_10 focus is not correctly returned to a JFrame
6586045 	java_plugin 	misc 	browser crashes on an XP japanese machine with 6u5 deploy nightly build
6502568 	java_plugin 	other 	request header has garbage characters when size of cookie is greater than 4k
6556044 	java_plugin 	other 	JRE SSL Handshake error in jdk1.5.0
6373274 	javawebstart 	download_engine 	Jar resources nested in JRE resources block are broken.
6465756 	javawebstart 	jnlp_file 	cannot use CDATA xml tag within the jnlp <argument> tag
6265713 	javawebstart 	jnlp_file 	Having a query string to a jnlp file negates the SingleInstanceService
6484661 	javawebstart 	other 	cannot launch application offline if https is used
6354969 	jaxp 	other 	Bug in XPathFactory.newInstance() method
6219364 	jaxp 	sax 	com.SAXParserImpl.setProperty("feature",null) throws NullPointerException
6594813 	jaxp 	sax 	XML Parsing differences
6236727 	jaxp 	xslt 	XSLTC never stops resolving imported stylesheets when outer stylesheet is a DOMSource
6536120 	jaxp 	xslt 	HTML serializer puts no space between public and system doctype
6490921 	jaxp 	xslt 	The transformer API sometimes ignores the property org.xml.sax.driver
6467921 	jce 	pkcs11_csp 	Backport SunPKCS11 to a Tiger update on 64 bit AMD Linux platform
6560218 	jgss 	krb5plugin 	Problem with credentials from non-default realm
5053708 	jndi 	dns 	DNS provider does not cleanup resources properly
6585239 	jndi 	dns 	Regression: 2 DNS tests fail with JDK 5.0u13 b01 and pass with 5.0u12fcs
6358629 	jsse 	runtime 	SSLSocket.close() and SSLSocket.read() deadlock
6447412 	jsse 	runtime 	Issue with socket.close() for ssl sockets when poweroff on other system
6585736 	java 	classes_security 	Add GlobalSign root certificates to JDK/JRE
6595137 	java 	classes_util_i18n 	(tz) support tzdata2007g

The x86_64 changes were done by Takahiro Kambe.
2008-01-07 19:56:27 +00:00
taca
567d55ebae Switch to use META_PACKAGE. No functional change. 2008-01-06 15:45:12 +00:00
tonio
92448f4cbf Set MAKE_JOBS_SAFE=no
Noticed by Aleksej Saushev
2008-01-05 09:22:06 +00:00
joerg
17728923b0 Just use full destdir support here. 2008-01-04 18:17:16 +00:00
ghen
d8def81b0e Full DESTDIR support. 2008-01-04 15:42:34 +00:00
ghen
ccf005796b Basic DESTDIR support. 2008-01-04 14:48:26 +00:00
ghen
7f7e86aea1 Full DESTDIR support for erlang packages. 2008-01-04 14:10:05 +00:00
ghen
f85f155b40 Update erlang, erland-doc and erlang-man to 12.0, aka R12B-0.
This builds again on x86_64 platforms, is@ will test further.

This release supports new language extensions bitstring and binary
comprehensions.

Other major changes are listed on <http://www.erlang.org/doc/highlights.html>.
See <http://www.erlang.org/download/otp_src_R12B-0.readme> for full detail.
2008-01-04 14:05:05 +00:00
ghen
17c20eeea4 Full DESTDIR support and use REPLACE_INTERPRETER framework instead of SUBST. 2008-01-04 12:17:16 +00:00
joerg
b1a50d204b Mark as broken on NetBSD/amd64 as configure will spin. 2008-01-03 15:58:45 +00:00
gdt
2229c58acd Update to 1.8.3. Several patches were merged upstream.
Changes in 1.8.3 (since 1.8.2)

* New modules (see the manual for details)

** `(srfi srfi-35)'
** `(srfi srfi-37)'

* Bugs fixed

** The `(ice-9 slib)' module now works as expected
** Expressions like "(set! 'x #t)" no longer yield a crash
** Warnings about duplicate bindings now go to stderr
** A memory leak in `make-socket-address' was fixed
** Alignment issues (e.g., on SPARC) in network routines were fixed
** A threading issue that showed up at least on NetBSD was fixed
** Build problems on Solaris and IRIX fixed

* Implementation improvements

** The reader is now faster, which reduces startup time
** Procedures returned by `record-accessor' and `record-modifier' are faster
2008-01-03 13:30:25 +00:00
gdt
80f087ecfa Fix failure to build under FreeBSD 6.2 due to lack of C99-required
functions clog and cexp (but presence of complex.h), reported in
pkg/36555.  The patch in the PR is from gentoo and has already been
applied upstream along guile's 1.8 branch.
2007-12-28 01:00:10 +00:00
joerg
ea94ff1969 Remove non-existing config file. Bump revision. 2007-12-27 16:05:11 +00:00
joerg
1ff8a16303 Needs a real C compiler for the optimised build. 2007-12-27 14:00:38 +00:00
minskim
c48799d9a4 Use BDB_LIBS to obtain the BDB library name, instead of guessing
it from BUILDLINK_TRANSFORM.  This fixes PR 37297.
2007-12-24 01:19:47 +00:00
tnn
4db2670a5a Apply patches from PR pkg/37047 to make snobol build. From Aleksej Saushev.
However one of the regression tests still fails for me (roman.sno).
2007-12-22 21:40:13 +00:00
minskim
cbe7d044cb Set LIBSWANTED for Linux as suggested by jlam in PR 31088. 2007-12-22 21:03:31 +00:00
joerg
e1b6509e3c Include stub libraries on Linux as well. From PR 37584. 2007-12-21 17:02:53 +00:00
adrianp
69f8937d0b Fix builds on Darwin 2007-12-16 16:44:51 +00:00
gdt
264f4f3189 # Many failures - this is *very* far from safe.
MAKE_JOBS_SAFE=		no
2007-12-16 15:47:55 +00:00
tron
9508c23e2a Fix build problems under Mac OS X Leopard. 2007-12-15 18:43:31 +00:00
taca
9a5ce3acf4 Use more Ruby specific name: s/REPLACE_FILE_PAT/REPLACE_RUBY_PAT/. 2007-12-13 14:46:58 +00:00
wiz
b524dc18ff Reset maintainer on his request. 2007-12-12 20:42:28 +00:00
heinz
1f01bc95b9 The package supports installation to DESTDIR. 2007-12-11 21:40:42 +00:00
wiz
376b1826b1 Not MAKE_JOBS safe, reports Aleksej Saushev in PR 37491. Mark it as such. 2007-12-09 19:09:48 +00:00
wiz
8a5b10ea93 Update HOMEPAGES and MASTER_SITES; from Sergey Svishchev. 2007-12-02 13:04:06 +00:00
wiz
fc63d26435 Remove Ex-MASTER_SITE. From Zafer Aydogan. 2007-12-02 12:11:59 +00:00
wiz
f860425b8b Remove Ex-MASTER_SITEs. From Zafer Aydogan. 2007-12-02 12:06:19 +00:00
wiz
1900e4b154 Remove Ex-MASTER_SITE. From Zafer Aydogan. 2007-12-02 11:17:22 +00:00
wiz
a2ed90727a Remove ex-MASTER_SITE. From Zafer Aydogan. 2007-12-02 00:11:10 +00:00
wiz
a89d36b654 Remove ex-MASTER_SITEs. From Zafer Aydogan. 2007-12-02 00:10:40 +00:00
tonio
3d18612380 Update lang/ocamlduce to 3.10.0
This update lets ocamlduce work with ocaml 3.10
2007-12-01 14:48:28 +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
tonio
2b5269ef60 Update lang/coq to 8.2pl2
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-01 13:05:36 +00:00
tonio
6e22a51603 enable camlp5 2007-12-01 12:57:31 +00:00
tonio
95ffab1e95 Add lang/camlp5 version 5.01
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-01 12:56:04 +00:00
rillig
3475ef7b4c Cleaned up the package. The only functional change is that the man/man3
directory is created, which means that all files are properly installed.
2007-12-01 12:49:05 +00:00