Changeset 51822


Ignore:
Timestamp:
Jun 4, 2009, 7:36:17 AM (10 years ago)
Author:
mww@…
Message:

version 2009

File:
1 edited

Legend:

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

    r37506 r51822  
    44
    55name              isabelle
    6 version           2008
     6version           2009
    77categories        math lang ml
    88platforms         darwin
     
    2323
    2424distname          Isabelle${version}
    25 checksums         md5 4ebd3288458b6a87979b211bf8fe3e15 \
    26                   sha1 82b4c9bf1791d24560561a8fafd0b24f4dfd1971
     25checksums           md5     2b7a8d49bfba64aac7227d692c15c27b \
     26                    sha1    2af6f19f23436c37611d8df23e918f76e9190f39 \
     27                    rmd160  7cbde579b6f897b8110c465f17a185f04f6587e0
    2728patchfiles        patch-etc-settings.diff
    2829
     
    4445destroot {
    4546    file copy ${worksrcpath} ${destroot}${prefix}/lib/${name}
    46     system "${destroot}${prefix}/lib/${name}/bin/isatool install -p ${destroot}${prefix}/bin -d ${prefix}/lib/${name}"
     47    system "${destroot}${prefix}/lib/${name}/bin/isabelle install -p ${destroot}${prefix}/bin -d ${prefix}/lib/${name}"
    4748    xinstall -d ${destroot}${prefix}/share/doc/
    4849    file copy ${workpath}/doc ${destroot}${prefix}/share/doc/${name}-${version}
Note: See TracChangeset for help on using the changeset viewer.