Changeset 9548


Ignore:
Timestamp:
Dec 2, 2004, 7:44:11 PM (16 years ago)
Author:
gwright
Message:

Move the Isabelle2004 directory from ${prefix}/ to ${prefix}/lib.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/dports/math/isabelle/Portfile

    r9545 r9548  
    1 # $Id: Portfile,v 1.3 2004/12/02 18:49:14 gwright Exp $
     1# $Id: Portfile,v 1.4 2004/12/02 19:44:11 gwright Exp $
    22
    33PortSystem        1.0
    44name              isabelle
    55version           2004
    6 revision          1
     6revision          2
    77categories        lang
    88maintainers       dem5302@cs.rit.edu
     
    4747
    4848destroot {
    49         file copy ${workpath}/${worksrcdir} ${destroot}${prefix}/Isabelle2004
    50     system "${destroot}${prefix}/Isabelle2004/bin/isatool install -p ${destroot}${prefix}/bin"
    51     reinplace "s|\"/.*/bin|\"${prefix}/Isabelle2004/bin|g" \
     49        file copy ${workpath}/${worksrcdir} ${destroot}${prefix}/lib/Isabelle2004
     50    system "${destroot}${prefix}/lib/Isabelle2004/bin/isatool install -p ${destroot}${prefix}/bin"
     51    reinplace "s|\"/.*/bin|\"${prefix}/lib/Isabelle2004/bin|g" \
    5252              ${destroot}${prefix}/bin/isabelle-process \
    5353              ${destroot}${prefix}/bin/isabelle-interface \
Note: See TracChangeset for help on using the changeset viewer.