Ticket #43264: Portfile-grace.diff

File Portfile-grace.diff, 420 bytes (added by mlund (Mikael Lund), 10 years ago)

Portfile patch

  • Portfile

    old new  
    3636
    3737patchfiles          patch-configure.diff
    3838
     39configure.optflags  -O1
    3940configure.pre_args  --prefix=${prefix}/lib
    4041configure.args      --with-helpviewer="${prefix}/bin/openbrowser ${prefix}/share/doc/${name}/`basename %s`" \
    4142                    --x-include=${prefix}/include --x-lib=${prefix}/lib