Ignore:
Timestamp:
May 22, 2011, 12:10:41 AM (9 years ago)
Author:
ryandesign@…
Message:

Check that jni.h is actually a file; some users report it being a directory; see #20849 and #29115

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/devel/soprano/Portfile

    r77672 r78784  
    2727
    2828pre-configure {
    29     if {![file exists "/System/Library/Frameworks/JavaVM.framework/Headers/jni.h"]} {
     29    if {![file isfile "/System/Library/Frameworks/JavaVM.framework/Headers/jni.h"]} {
    3030        ui_error "${name} requires the Java for Mac OS X development headers."
    3131        if {${os.major} == 10} {
Note: See TracChangeset for help on using the changeset viewer.