summaryrefslogtreecommitdiff
path: root/lang
AgeCommit message (Collapse)AuthorFilesLines
2007-03-01SCRIPTS_ENV is unused here, do not modify it.wiz1-2/+1
2007-02-26Update homepage.veego1-2/+2
2007-02-26Add a patch to build it with gcc4 and reset the 'external' maintainer afterveego3-4/+26
no reaction from him (this time I waited 11 days, where I still have no reply from my last change which was over an 1 year ago).
2007-02-26Use pkgsrc magic for config.guess/.sub overriding. Tested by is@ forjoerg3-33/+3
ARM.
2007-02-25put back openssl extension, mistakely commented out in PHP 5.2.1 upgradejdolecek2-7/+8
noted by Manuel Bouyer
2007-02-25Update lang/coq to 8.1tonio4-306/+160
Many changes, among them: - Many bugs have been fixed (cf coq-bugs web page) - changed parsing precedence of let/in and fun constructions of Ltac: let x := t in e1; e2 is now parsed as let x := t in (e1;e2). - New primitive "external" for communication with tool external to Coq. - Omega now handles arbitrary precision integers. - Haskell extraction: types of functions are now printed, better unsafeCoerce mechanism, both for hugs and ghc. - Scheme extraction improved, see http://www.pps.jussieu.fr/~letouzey/scheme. - New notation "exists! x:A, P" for unique existence. - New library on String and Ascii characters (contributed by L. Thery). - New library FSets+FMaps of finite sets and maps. - New library QArith on rational numbers. - Few improvements in ZArith potentially exceptionally breaking the compatibility (useless hypothesys of Zgt_square_simpl and Zlt_square_simpl removed; fixed names mentioning letter O instead of digit 0; weaken premises in Z_lt_induction).
2007-02-22pkglint USE_LANGUAGES cleanup. Patch from Sergey Svishchev.wiz1-2/+2
2007-02-22Whitespace cleanup, courtesy of pkglint.wiz28-75/+75
Patch provided by Sergey Svishchev in private mail.
2007-02-22pkglint cleanup; update HOMEPAGE/MASTER_SITES.wiz6-13/+13
From Sergey Svishchev in private mail.
2007-02-20Update PHP5 to 5.2.1. Includes several important security fixes andjdolecek6-54/+59
large number of other fixes. Update for all users is strongly advised.
2007-02-20share/emacs/site-lisp now exists by default -- don't try to remove it.wiz8-20/+12
Bump PKGREVISION for the PLIST change.
2007-02-20Added REPLACE_PYTHON as an alias to PYTHON_PATCH_SCRIPTS, to have morerillig1-9/+14
consistent names. (See REPLACE_PERL, REPLACE_AWK, REPLACE_SH, ...)
2007-02-19Modular Xorg support. Bump revision as I am not sure whether Xft wasjoerg1-3/+6
used before.
2007-02-19Retire propolice hack on DragonFly as the system compiler was fixedjoerg1-18/+0
and the changes pulled up to all release branches.
2007-02-19Modular Xorg support.joerg1-2/+6
2007-02-19Modular Xorg support.joerg1-3/+5
2007-02-19Modular Xorg support.joerg1-2/+5
2007-02-19No need to include x11.b3.mk directly.joerg1-2/+1
2007-02-19Modular Xorg support.joerg1-3/+5
2007-02-18+sun-j{dk,re}6tv1-1/+3
2007-02-18SUN JRE/JDK 6.0. The new naming convention is that "1.6.0" is now "6.0"tv17-0/+3695
(true for 1.5, but officially branded as such for 6), so this is called "sun-j{dk,re}6" rather than "sun-j{dk,re}16". amd64 support is not currently included, but initial provision exists in the sun-jre6 package as it was cloned initially from sun-jre15.
2007-02-18fix thinko in previoustv1-2/+2
2007-02-18fix makesfiles to use consistent filename throughouttv1-7/+7
2007-02-15Modular Xorg support.joerg1-2/+2
2007-02-15remove myself as maintainer -- I have no time any more.perry1-2/+2
2007-02-15Add modular Xorg support. This should get some more attention by thejoerg3-3/+23
maintainer as it obviously doesn't honour CFLAGS et al.
2007-02-15bzip2 files don't need the executable bit.rillig1-5/+1
2007-02-15Made the code a little simpler.rillig1-3/+2
2007-02-15Fixed pkglint warning.rillig1-3/+2
2007-02-15Fixed pkglint warnings.rillig2-7/+8
2007-02-15Modular Xorg uspport.joerg1-2/+7
2007-02-15Fixed the installation for unprivileged users.rillig2-1/+17
2007-02-15Add __sparcv9 to the list for 64-bit systems. Fixes compilation ondmcmahill2-5/+5
solaris in 64 bit mode. Patch from Gilles Dauphin.
2007-02-07For modular Xorg, pull in libXt as it is looking for the libraries.joerg1-1/+5
*sigh*
2007-02-07add linux-amd64 distinfoabs2-2/+8
2007-02-07- Update lang/sun-jdk15 to 5.0.11 from 5.0.10abs4-17/+14
- Update lang/sun-jre15 to 5.0.11 from 5.0.10 Changes since 5.0.10: hotspot terminates at assert during GC in java_g Unexpected async exception in jvmti_GetLoadedClasses() icache invalidation code can segv Need a way to determine if java process was started from sun launchers unmarshal error on CORBA alias type in CORBA any Regression: UnicodeLittle broken on 1.4.2_12 PrinterJob.printDialog() crashes JVM when called from subthread Few Hindi glyph formations are failing on Win-Vista only StackOverflowError due to recursion at sun.font.TrueTypeFont.getTableBuffer Need to make Java process High-DPI-aware on Windows Vista sun/java2d/DirectX/D3dTranslucency.java test needs to be backported from Mustang to Tiger workspace java/awt/font/StyledMetrics/StyledMetrics.java fails on Vista deriveFont is not working on FontUIResource with a dynamically loaded TTF Unable to retrieve printer list on system with unconnected printers RI crashes on Windows when executing tests.api.java.awt.Toolkit.CursorTests Pressing 'copy' on a TextField with echo char set copies the actual text to the clipboard, XToolkit Regression in backport of flickering-related bug fix Vista: The right mark of the CheckboxMenu item is broken when compared with winXP Uncanonicalized absolute filepath with length 248-260 no longer works (win) (process) subprocess environment sort order differs from Windows native sort order (process) Process.destroy() can kill wrong process (Unix) VISTA: api/java_net/NetworkInterface/index.html#static fails. SocketTimeoutException : Timing out early Socket creation on Windows takes a long time if web proxy does not have a DNS entry HTTP Request-URI contains fragment when connecting through proxy javax/sound/sampled/Clip/JavaSoundAudioClip/bug6269854.java test appeared as unstable on tiger Regression: com/sun/java/swing/plaf/gtk/5048769/bug5048769.sh fails OceanTheme causes swing components to serialize with sun.* classes Vista:FileChooserDemo throws an exception when trying to open it in Windows L&F JFileChooser throws exception when trying to access a CD drive on Vista. REGRESSION: AWT-EventQueue Deadlock AWTTreeLock/MetalUtils$GradientPainter REGRESSION: JCheckBox doesn't show on JToolBar under Windows L&F (fmt) java/util/Formatter/Basic.java fails in hi_IN locale (tz) Support tzdata2006n (tz) Support tzdata2006p (tz) Support tzdata2006o "com.sun.jdi.InternalException: Inconsistent suspend policy" in internal event handler Vista: JRE 5.0u8 installation failed with 1722 MSI error Vista: Add manifest to installers to run with elevated privileges Vista: Use registry key to pre-approve Active-X controls 1.5.0_u7 has "shielded" exe in Windows Vista [l10n] l10n meeesage update after deployment bug 6458761 is fixed rmic does not use manifest classpath Vista: disable change dialog for cache location ? Vista: Implement work around for Runtime.exec() problem in deployment InstallStats2 not sending full version for offline installers with 'failure' status IS2 : InstallComplete ping 'ic' with status 'success' is not posted in silent mode Vista: Java auto-update is not enabled on Windows Vista Vista: jusched.exe requires user approval with every login jusched.exe needs to be signed dead lock occurs by pressing "refresh" many times in 5.0u10b02 REGRESSION: JFrame goes to back after toFront() is called when Applet starts vista: changes made by java control panel has no effect browser become non-responsive if we switch page during applet JAR initial download TCK-jnlp 1.5: jnlp_file/resources/j2se/index.html#vmArgs hang in some cases.
2007-02-06Commit the patch from PR pkg/35319 which should fix perl compilation ondmcmahill3-3/+46
newer versions (11) of solaris. Verified that the 'bmake test' output is unchanged on 32-bit solaris-2.9/sparc.
2007-02-06No need to include x11.b3.mk directly.joerg1-2/+1
2007-02-06Modular Xorg support.joerg1-2/+3
2007-02-05fix one more quoting problemdmcmahill1-1/+1
2007-02-05- The f2c-f77 script that emulates a fortran comiler has deviated so muchdmcmahill5-503/+450
from the original, that it has become easier to maintain it as its own file instead of a patch, so do that. - Improve the shell quoting quite a bit in the f2c-f77 script. Now you can pass things like -DFOO=this\ is\ a\ test and have the escapes actually work when the arguments get passed down to the underlying commands. Many thanks to Alan Barrett for help with the shell quoting. - bump pkgrev
2007-02-05Apply resource limits for ADA build, too.tron1-3/+3
2007-02-04Unlimit datasize to fix build under (at least) NetBSD-i386 3.3.1 usingtron1-2/+4
NetBSD's GCC 3.3.3.
2007-01-31Mark as BROKEN_IN pkgsrc-2006Q4, based onwiz3-4/+8
ftp://asim.lip6.fr/outgoing/packages/i386/3.1/20070114.1132/broken.html (latest 3.1/i386 bulk build of 2006Q4). Feel free to fix them...
2007-01-28Fix ruby-build-ri-db option related problem.taca6-16/+27
- Include options.mk before rubyversion.mk, so PLIST for ri database should be created suitably. - make RUBY_RIDIR and its friends relative path to ${PREFIX}. - Fix and improve handling of ${RUBY_RIDIR} handling and should be fixed remaining ${RUBY_RIDIR} after pkg_delete ruby18-base. (Noted by private mail from wiz@.) Bump PKGREVISION of ruby18-base package.
2007-01-28Add missing backslash.obache1-2/+2
Pointed out in PR 35504 by Ryo HAYASAKA.
2007-01-26Add test target. Sort some lines while here.uebayasi1-5/+5
2007-01-24Fixed the build on Linux, at least for me.rillig1-1/+3
2007-01-24Added a patch that disables fdlibm on all platforms, since the latter isrillig3-3/+28
not in pkgsrc and therefore not generally available. PKGREVISION++
2007-01-24Made "make help" find this.rillig1-1/+5
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-04 00:27:38 +0000