source: trunk/dports/lang/swi-prolog/Portfile @ 82802

Last change on this file since 82802 was 82802, checked in by ryandesign@…, 9 years ago

swi-prolog: maintainer update to 5.10.5, use gcc-4.2 instead of llvm-gcc-4.2 or clang; see #30892

  • Property svn:eol-style set to native
  • Property svn:keywords set to Id
File size: 3.6 KB
Line 
1# -*- coding: utf-8; mode: tcl; tab-width: 4; truncate-lines: t; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:et:sw=4:ts=4:sts=4
2# $Id: Portfile 82802 2011-08-20 19:15:06Z ryandesign@macports.org $
3
4PortSystem      1.0
5
6name            swi-prolog
7conflicts       swi-prolog-devel swi-prolog-lite
8epoch           20051223
9version         5.10.5
10
11categories      lang
12maintainers     uva.nl:J.Wielemaker logtalk.org:pmoura
13platforms       darwin
14description     SWI-Prolog compiler plus extra packages (stable version)
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
30checksums   \
31        sha1    bc27e997e20120aed9be68af2fdccfb093ff16eb \
32        rmd160  1ed3594b46efead1fd66b232ff8bdd765d749200
33
34depends_build   \
35        port:gawk       \
36        port:junit      \
37        port:pkgconfig
38
39depends_lib             \
40        port:readline           \
41        port:ncurses            \
42        port:jpeg               \
43        port:libmcrypt          \
44        port:gmp                \
45        port:zlib               \
46        port:Xft2 \
47        port:xorg-libXinerama \
48        port:xpm \
49        port:xorg-libXt
50
51use_parallel_build      no
52
53platform darwin 9 {
54        depends_lib-append port:expat
55}
56
57distname        pl-${version}
58
59configure.env   \
60        LIBRARY_PATH=/usr/lib:${prefix}/lib     \
61        CPATH=/usr/include:${prefix}/include    \
62        JUNIT=${prefix}/share/java/junit.jar
63
64configure.ldflags
65
66configure.args  \
67        --mandir=${prefix}/share/man    \
68        --x-includes=${prefix}/include  \
69        --x-libraries=${prefix}/lib     \
70        --with-world
71
72if {${configure.compiler} == "clang" ||
73        ${configure.compiler} == "llvm-gcc-4.2"} {
74        configure.compiler gcc-4.2
75        if {![file executable ${configure.cc}]} {
76                depends_build-append port:apple-gcc42
77                configure.compiler apple-gcc-4.2
78        }
79}
80
81build.env       \
82        LIBRARY_PATH=/usr/lib:${prefix}/lib     \
83        CPATH=/usr/include:${prefix}/include    \
84        JUNIT=${prefix}/share/java/junit.jar \
85        CC=${configure.cc}
86
87post-build {
88        file mkdir ${workpath}/macosx
89        file copy -force -- ${workpath}/pl-${version}/man/macosx/License.html ${workpath}/macosx/
90        file copy -force -- ${workpath}/pl-${version}/man/macosx/macosx.html ${workpath}/macosx/
91        file copy -force -- ${workpath}/pl-${version}/man/macosx/Welcome.html ${workpath}/macosx/
92}
93
94post-pkg {
95        set resources ${workpath}/${name}-${version}.pkg/Contents/Resources/
96        file copy -force -- ${workpath}/macosx/License.html ${resources}
97        file copy -force -- ${workpath}/macosx/macosx.html ${resources}
98        file copy -force -- ${workpath}/macosx/Welcome.html ${resources}
99        file rename ${resources}/macosx.html ${resources}/ReadMe.html
100        file delete -force -- ${resources}/Welcome.rtf
101}
102
103post-mpkg {
104        set resources ${workpath}/${name}-${version}.mpkg/Contents/Resources/
105        file copy -force -- ${workpath}/macosx/License.html ${resources}
106        file copy -force -- ${workpath}/macosx/macosx.html ${resources}
107        file copy -force -- ${workpath}/macosx/Welcome.html ${resources}
108        file rename ${resources}/macosx.html ${resources}/ReadMe.html
109        file delete -force -- ${resources}/Welcome.rtf
110}
111
112if {![variant_isset st]} {
113        default_variants +mt
114}
115
116variant st conflicts mt description {Single-threaded} {
117        configure.args-append --disable-mt
118}
119
120variant mt conflicts st description {Multi-threaded} {
121        configure.args-append --enable-mt
122}
123
124universal_variant   no
125
126livecheck.type      regexm
127livecheck.url       ${homepage}download/stable
128livecheck.regex     "/download/stable/src/pl-(\\d+\\.\\d+\\.\\d+).tar.gz"
Note: See TracBrowser for help on using the repository browser.