DrJava development environment. The plug-in provides an Interactions
Pane and a simplified user interface to Eclipse.
WWW: http://www.drjava.org/eclipse.shtml
PR: ports/95747
Submitted by: Nicola Vitale <nivit at email.it>
- Use a PKGNAMESUFFIX to tag package according to the JDK version used (-java11
or -java12)
- Honor NOPORTDOCS and install documentation in ${DOCSDIR}
- Use PORTDOCS to handle documentation plist differences between Java 1.1 and
1.2 implementations
- Use PLIST_FILES (and thus remove pkg-plist)
PR: 97855
Submitted by: hq
Approved by: maintainer timeout
not invoke any Java programmes, but will instead print out what it would
have invoked and some related settings.
This work was inspired by the PR, but doesn't use its implementation.
PR: 96050
flags when being used to bootstrap the jdk15 port, and this was confirmed
by somebody else. However, javac doesn't seem to be happy with it so
turn it back off.
Submitted by: hq
causing problems for programmes such as jar(1). I actually believe it is
needed by some of the other programmes, but we'll add it as needed.
. Bump PORTREVISION for this change.
PR: 98586
Submitted by: Achilleas Mantzios <achill@matrix.gatewaynet.com>
- Set JAVA_VERSION (for javavmwrapper) in the launcher script
- Use an absolute path to launch javavmwrapper
- JAVAJARDIR -> JAVALIBDIR (for JAR dependencies)
- Use %%JAVAJARDIR%% in pkg-plist
PR: 97856
Submitted by: hq
Approved by: maintainer
- Use %%JAVAJARDIR%% in pkg-plist
- Add $FreeBSD$ tag
- Use SUB_FILES (rather than PKGINSTALL) to configure launcher shell script
- Set JAVA_VERSION for javavmwrapper in launcher shell script
- Renamed launcher script: jasmin.sh -> jasmin
- Register java/javavmwrapper in RUN_DEPENDS
- Bump PORTREVISION
- Do not build the port since it requires Maven to build documentation
- No longer install commons-logging-api.jar
- Disable OPTIONS: the full package is installed
Those spaces used to hinder searching for the corresponding files
with portsearch -f '/FILENAME$' for obvious reasons.
Although currently portsearch removes those spaces itself remove
them anyway.
Inspired by: ports/94078
Approved by: portmgr (during freeze: krion, then kris advised to wait; at present: erwin)
