GNU Prolog is a free Prolog compiler with constraint solving over finite domains developed by Daniel Diaz. GNU Prolog accepts Prolog+constraint programs and produces native binaries (like gcc does from a C source). The obtained executable is then stand-alone. The size of this executable can be quite small since GNU Prolog can avoid to link the code of most unused built-in predicates. The performances of GNU Prolog are very encouraging (comparable to commercial systems). Beside the native-code compilation, GNU Prolog offers a classical interactive interpreter (top-level) with a debugger. The Prolog part conforms to the ISO standard for Prolog with many extensions very useful in practice (global variables, OS interface, sockets,...). GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic pogramming to the user combining the power of constraint programming to the declarativity of logic programming. WWW: http://www.gprolog.org/ index : freebsd-ports
FreeBSD Ports (https://github.com/freebsd/freebsd-ports)
aboutsummaryrefslogblamecommitdiffstats
path: root/lang/jgnat-doc-html/Makefile
blob: 078bc0d6054d152703c5311cb1d590da644de07c (plain) (tree) 
a59f4bbed699


2f46b4aabcbb

a59f4bbed699




















2f46b4aabcbb

5ac7e4b4424a

a59f4bbed699

















































1
2

3

4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

24

25

26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74


                                                 
                                                                      



















                                                                                                                      
                                   
                                                    
















































                                                                                                     
# New ports collection makefile for:    jgnat-doc
# Date created:         05 Sept 2001
# Whom:                 John Merryweather Cooper <coop9211@uidaho.edu>
#
# $FreeBSD$
#

PORTNAME=   jgnat-doc
PORTVERSION=    1.1p
CATEGORIES= lang java
MASTER_SITES=   ftp://cs.nyu.edu/pub/gnat/jgnat/jgnat-1.1p/split-1.1p/ \
        ftp://ftp.cdrom.com/pub/languages/ada/compiler/gnat/jgnat/jgnat-1.1p/split-1.1p/ \
        ftp://wuarchive.wustl.edu/languages/ada/compiler/gnat/jgnat/jgnat-1.1p/split-1.1p/ \
        ftp://ftp.cs.kuleuven.ac.be/pub/Ada-Belgium/mirrors/cs.nyu.edu/pub/gnat/jgnat/jgnat-1.1p/split-1.1p/ \
        ftp://ftp.cs.tu-berlin.de/pub/gnat/jgnat/jgnat-1.1p/split-1.1p/ \
        ftp://ftp.informatik.rwth-aachen.de/pub/mirror/cs.nyu.edu/pub/gnat/jgnat/jgnat-1.1p/split-1.1p/ \
        ftp://ftp.lip6.fr/pub/gnat/jgnat/jgnat-1.1p/split-1.1p/ \
        ftp://ftp.cnam.fr/pub/Ada/PAL/compiler/gnat/jgnat/jgnat-1.1p/split-1.1p/ \
        ftp://ftp.fss.bme.hu/pub/ada/gnat/jgnat/jgnat-1.1p/split-1.1p/
PKGNAMESUFFIX=  -${DOCFORMAT}
DISTNAME=   jgnat-${PORTVERSION}-doc
EXTRACT_SUFX=   .tgz

MAINTAINER= coop9211@uidaho.edu
COMMENT=    Documentation for the JGNAT compiler

WRKSRC=     ${WRKDIR}/${DISTNAME:S/-doc$//}/doc
NO_BUILD=   yes
PLIST=      ${MASTERDIR}/pkg-plist_${DOCFORMAT}
PKGMESSAGE= ${MASTERDIR}/pkg-message_${DOCFORMAT}

DOCFORMAT?= html
DOCSDIR=    ${PREFIX}/share/doc/jgnat/${DOCFORMAT}

SEC_LABEL=  "Programming & development tools."
INSTALL_INFO=   install-info --section=${SEC_LABEL}
UG_LABEL=   "* Jgnat_ug: (jgnat_ug).            JGNAT User Guide."

PLIST_SUB=  SEC_LABEL=${SEC_LABEL} UG_LABEL=${UG_LABLE}

.include <bsd.port.pre.mk>

.if ${DOCFORMAT} != "html" && ${DOCFORMAT} != "info" && ${DOCFORMAT} != "ps" && ${DOCFORMAT} != "txt"
.BEGIN:
    @${ECHO} "ERROR: invalid value for DOCFORMAT: \"${DOCFORMAT}\""
    @${ECHO} "Possible values are:  html, info, ps, and txt."
    @${FALSE}
.endif

pre-install:
    @${CP} ${PKGDIR}/pkg-plist_${DOCFORMAT} ${WRKDIR}
    @${CP} ${PKGDIR}/pkg-message_${DOCFORMAT} ${WRKDIR}

do-install:
.if !defined(NOPORTDOCS)
.if ${DOCFORMAT} == "info"
    @${MKDIR} ${PREFIX}/info
    @${INSTALL_MAN} ${WRKSRC}/jgnat_ug.info* ${PREFIX}/info
    @if [ ! -f ${PREFIX}/info/dir ]; then \
        ${SED} -ne '1,/Menu:/p' \/usr\/share\/info/dir > ${PREFIX}/info/dir; \
    fi
    @${INSTALL_INFO} --item=${UG_LABEL} ${PREFIX}/info/jgnat_ug.info ${PREFIX}/info/dir
.else
    ${MKDIR} ${DOCSDIR}
    ${INSTALL_MAN} ${WRKSRC}/jgnat_ug.${DOCFORMAT} ${DOCSDIR}
.endif
.endif # !defined(NOPORTDOCS)

post-install:
.if !defined (NOPORTDOCS)
    @${CAT} ${PKGMESSAGE} | ${SED} -e 's:/usr/local:${PREFIX}:'
.endif

.include <bsd.port.post.mk>