glewis 2003/05/15 09:34:36 PDT
FreeBSD ports repository
Modified files:
java Makefile
Added files:
java/jmp Makefile distinfo pkg-descr pkg-plist
java/jmp/files patch-Makefile.am patch-Makefile.in
patch-configure patch-instance_owners.c
patch-jmp.c
Log:
. Add the java/jmp port.
JMP is a profiler for java that can be used to trace objects usage and
method timings. JMP uses the JVMPI interface to gather statistics and
interact with the JVM. JMP uses a GTK+ interface to show the status.
PR: 47151, 48474, 50325
Submitted by: Ronald Klop <ronald at cs.vu.nl>
Revision Changes Path
1.77 +1 -0 ports/java/Makefile
1.1 +43 -0 ports/java/jmp/Makefile (new)
1.1 +1 -0 ports/java/jmp/distinfo (new)
1.1 +19 -0 ports/java/jmp/files/patch-Makefile.am (new)
1.1 +19 -0 ports/java/jmp/files/patch-Makefile.in (new)
1.1 +12 -0 ports/java/jmp/files/patch-configure (new)
1.1 +15 -0 ports/java/jmp/files/patch-instance_owners.c (new)
1.1 +45 -0 ports/java/jmp/files/patch-jmp.c (new)
1.1 +8 -0 ports/java/jmp/pkg-descr (new)
1.1 +5 -0 ports/java/jmp/pkg-plist (new)