source: trunk/dports/lang/swi-prolog-lite/Portfile

Last change on this file was 94853, checked in by mww@…, 5 years ago

swi-prolog*: add license

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 3.1 KB
Line 
1# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:ft=tcl:et:sw=4:ts=4:sts=4
2# $Id: Portfile 94853 2012-07-01 20:43:02Z ryandesign@macports.org $
3
4PortSystem      1.0
5
6name            swi-prolog-lite
7conflicts       swi-prolog swi-prolog-devel
8version         5.8.3
9
10categories      lang
11license         LGPL-2.1
12maintainers     uva.nl:J.Wielemaker logtalk.org:pmoura
13platforms       darwin
14description     SWI-Prolog compiler (without extra packages)
15
16long_description        \
17        ISO/Edinburgh-style Prolog compiler including modules,          \
18        autoload, libraries, Garbage-collector, stack-expandor,         \
19        C/C++-interface, Multiple threads, GNU-readline interface,      \
20        coroutining, constraint programming, global variables,          \
21        very fast compiler. Including packages clib (Unix process       \
22        control, sockets, MIME), cpp (C++ interface), sgml (reading     \
23        XML/SGML), sgml/RDF (reading RDF into triples), ODBC            \
24        interface and XPCE (Graphics UI toolkit, integrated editor      \
25        (Emacs-clone) and graphical debugger).
26
27homepage        http://www.swi-prolog.org/
28master_sites    http://www.swi-prolog.org/download/stable/src
29
30dist_subdir     swi-prolog
31
32checksums       \
33        md5     faeb7ade8da9832f113e6748ba6cab03 \
34        sha1    f0bb08d00162165b23fe3372d0b1fd3967cfc311 \
35        rmd160  907ee5445b977167d5db508254675648f5d8633c
36
37depends_build   \
38        port:gawk       \
39        port:junit
40
41depends_lib             \
42        port:readline
43
44use_parallel_build      no
45
46distname        pl-${version}
47worksrcdir      pl-${version}/src
48
49configure.env   \
50        LIBRARY_PATH=/usr/lib:${prefix}/lib     \
51        CPATH=/usr/include:${prefix}/include
52
53configure.ldflags
54
55configure.args  \
56        --prefix=${prefix}                              \
57        --mandir=${prefix}/share/man    \
58        --disable-gmp \
59        --enable-shared
60
61build.env       \
62        LIBRARY_PATH=/usr/lib:${prefix}/lib     \
63        CPATH=/usr/include:${prefix}/include    \
64        CC=${configure.cc}
65
66post-build {
67        file mkdir ${workpath}/macosx
68        file copy -force -- ${workpath}/pl-${version}/man/macosx/License.html ${workpath}/macosx/
69        file copy -force -- ${workpath}/pl-${version}/man/macosx/macosx.html ${workpath}/macosx/
70        file copy -force -- ${workpath}/pl-${version}/man/macosx/Welcome.html ${workpath}/macosx/
71}
72
73post-pkg {
74        set resources ${workpath}/${name}-${version}.pkg/Contents/Resources/
75        file copy -force -- ${workpath}/macosx/License.html ${resources}
76        file copy -force -- ${workpath}/macosx/macosx.html ${resources}
77        file copy -force -- ${workpath}/macosx/Welcome.html ${resources}
78        file rename ${resources}/macosx.html ${resources}/ReadMe.html
79        file delete -force -- ${resources}/Welcome.rtf
80}
81
82post-mpkg {
83        set resources ${workpath}/${name}-${version}.mpkg/Contents/Resources/
84        file copy -force -- ${workpath}/macosx/License.html ${resources}
85        file copy -force -- ${workpath}/macosx/macosx.html ${resources}
86        file copy -force -- ${workpath}/macosx/Welcome.html ${resources}
87        file rename ${resources}/macosx.html ${resources}/ReadMe.html
88        file delete -force -- ${resources}/Welcome.rtf
89}
90
91if {![variant_isset st]} {
92        default_variants +mt
93}
94
95variant st conflicts mt description {Single-threaded} {
96        configure.args-append --disable-mt
97}
98
99variant mt conflicts st description {Multi-threaded} {
100        configure.args-append --enable-mt
101}
102
103livecheck.type      regexm
104livecheck.url       ${homepage}download/stable
105livecheck.regex     "/download/stable/src/pl-(\\d+\\.\\d+\\.\\d+).tar.gz"
Note: See TracBrowser for help on using the repository browser.