Ticket #37493: Portfile

File Portfile, 3.6 KB (added by pmoura (Paulo Moura), 11 years ago)
Line 
1# $Id$
2
3PortSystem      1.0
4name            logtalk-devel
5conflicts       logtalk
6version     3.00.0-a7
7
8categories      lang
9maintainers     logtalk.org:pmoura
10license         GPL-3+
11platforms       darwin freebsd linux
12supported_archs noarch
13
14description     Logtalk - Open source object-oriented logic programming language
15
16long_description        \
17        Logtalk is an object-oriented logic programming language that can use most              \
18        Prolog implementations as a back-end compiler. As a multi-paradigm language,    \
19        it includes support for both prototypes and classes, protocols (interfaces),    \
20        component-based programming through category-based composition, event-driven    \
21        programming, and high-level multi-threading programming.
22
23homepage                http://logtalk.org/
24
25fetch.type      git
26git.url         git://github.com/LogtalkDotOrg/logtalk3.git
27git.branch      e504792ffaedb8ad57f8bef77405545d655e9bdb
28
29depends_lib             port:shared-mime-info
30
31use_configure   no
32
33build                   {}
34
35destroot {
36        system "cd ${worksrcpath}/scripts && ./install.sh ${destroot}${prefix}"
37}
38
39post-destroot {
40        delete ${destroot}${prefix}/share/mime
41}
42
43package.flat no
44
45post-pkg {
46        set resources ${workpath}/${name}-${version}.pkg/Contents/Resources/
47        file copy -force -- ${workpath}/${worksrcdir}/scripts/macosx/License.html ${resources}
48        file copy -force -- ${workpath}/${worksrcdir}/scripts/macosx/ReadMe.html ${resources}
49        file copy -force -- ${workpath}/${worksrcdir}/scripts/macosx/Welcome.html ${resources}
50        file copy -force -- ${workpath}/${worksrcdir}/scripts/macosx/postflight ${resources}
51}
52
53post-activate {
54        ui_msg "****************************************************************************"
55        ui_msg "* Integration scripts have been created for running Logtalk with selected"
56        ui_msg "* back-end Prolog compilers (which must be properly installed for running"
57        ui_msg "* the scripts!):"
58        ui_msg "*"
59        ui_msg "* B-Prolog (version 7.8 or later):         bplgt"
60        ui_msg "* CxProlog (version 0.97.6 or later):      cxlgt"
61        ui_msg "* ECLiPSe (version 6.0#141 or later):      eclipselgt"
62        ui_msg "* GNU Prolog (version 1.4.1 or later):     gplgt"
63        ui_msg "* Lean Prolog (version 3.7.10 or later):   lplgt"
64        ui_msg "* Qu-Prolog (version 8.12 or later):       qplgt"
65        ui_msg "* SICStus Prolog (version 4.1.0 or later): sicstuslgt"
66        ui_msg "* SWI-Prolog (version 6.0.0 or later):     swilgt"
67        ui_msg "* XSB (version 3.3 or later):              xsblgt     (first run must use sudo)"
68        ui_msg "* XSB 64 bits (version 3.3 or later):      xsb64lgt   (first run must use sudo)"
69        ui_msg "* XSB MT (version 3.3 or later):           xsbmtlgt   (first run must use sudo)"
70        ui_msg "* XSB MT 64 bits (version 3.3 or later):   xsbmt64lgt (first run must use sudo)"
71        ui_msg "* YAP (version 6.0.2 or later):            yaplgt"
72        ui_msg "*"
73        ui_msg "* Remember to set the environment variable LOGTALKHOME to the path to"
74        ui_msg "* the Logtalk distribution: ${prefix}/share/logtalk"
75        ui_msg "* and the environment variable LOGTALKUSER to your local configuration"
76        ui_msg "* directory (usually ~/logtalk), which you must create by running the"
77        ui_msg "* command logtalk_user_setup. See the file \$LOGTALKHOME/CUSTOMIZE.txt"
78        ui_msg "* for details on how to customize your working environment."
79        ui_msg "*"
80        if {[file exists ${prefix}/share/mime/packages/logtalk.xml]} {
81            delete ${prefix}/share/mime/packages/logtalk.xml
82        }
83        xinstall -d ${prefix}/share/mime/packages
84        xinstall -m 644 ${prefix}/share/${distname}/scripts/freedesktop/logtalk.xml ${prefix}/share/mime/packages
85        system "${prefix}/bin/update-mime-database ${prefix}/share/mime; true"
86        ui_msg "* Added the Logtalk mime-type to the Shared MIME-info Database."
87        ui_msg "****************************************************************************"
88}