# New ports collection makefile for: isabelle # Date created: 08 August 2005 # Whom: Timothy Bourke # # $FreeBSD$ # PORTNAME= isabelle PORTVERSION= 2007 CATEGORIES= math MASTER_SITES= http://isabelle.in.tum.de/dist/ \ http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ \ http://mirror.cse.unsw.edu.au/pub/isabelle/dist/ DISTNAME= Isabelle2007 .if !defined(NOPORTDOCS) DISTFILES= Isabelle2007.tar.gz \ Isabelle2007_library.tar.gz \ Isabelle2007_pdf.tar.gz .endif MAINTAINER= timbob@bigpond.com COMMENT= A generic proof assistant OPTIONS= SMLNJ "Use SML/NJ (devel) instead of the faster Poly/ML" off USE_PERL5= yes RUN_DEPENDS+= proofgeneral:${PORTSDIR}/math/proofgeneral DOCFILES= Contents *.pdf *.eps *.ps *.dvi .include .if defined(WITH_SMLNJ) ML_SYSTEM= smlnj-110 ML_HOME= ${LOCALBASE}/bin ML_OPTIONS= @SMLdebug=/dev/null .else ML_SYSTEM= polyml-5.1 ML_HOME= ${LOCALBASE}/bin ML_OPTIONS= -H 500 ML_DBASE= "" .endif ML_PLATFORM= x86-bsd PLIST_SUB= HEAPSUBDIR=${ML_SYSTEM}_${ML_PLATFORM} .if defined(WITH_SMLNJ) BUILD_DEPENDS+= smlnj-devel>=110.65:${PORTSDIR}/lang/sml-nj-devel MAKE_ENV+= SMLNJ_DEVEL=yes .else BUILD_DEPENDS+= poly:${PORTSDIR}/lang/polyml RUN_DEPENDS+= poly:${PORTSDIR}/lang/polyml .endif NO_INSTALL_MANPAGES=yes post-extract: @${CP} ${FILESDIR}/Makefile ${WRKSRC} post-patch: @${MV} ${WRKSRC}/etc/settings ${WRKSRC}/etc/settings.presed @${SED} "s|%%ML_SYSTEM%%|${ML_SYSTEM}|; \ s|%%ML_HOME%%|${ML_HOME}|; \ s|%%ML_OPTIONS%%|\"${ML_OPTIONS}\"|; \ s|%%ML_DBASE%%|${ML_DBASE}|; \ s|%%ML_PLATFORM%%|${ML_PLATFORM}|; \ s|%%PREFIX%%|${PREFIX}|" \ ${WRKSRC}/etc/settings.presed > ${WRKSRC}/etc/settings @${RM} ${WRKSRC}/etc/settings.presed @${TOUCH} ${WRKSRC}/contrib/.keep @${REINPLACE_CMD} -e 's|%%SMLNJ_VERSION%%|SMLNJ_DEVEL=yes|' \ ${WRKSRC}/lib/scripts/run-smlnj post-install: ${WRKSRC}/bin/isatool ${INSTALL} -d ${PREFIX}/share/isabelle -p ${PREFIX}/bin .if !defined(NOPORTDOCS) ${MKDIR} ${DOCSDIR} .for file in ${DOCFILES} ${INSTALL_DATA} ${WRKSRC}/doc/${file} ${DOCSDIR} .endfor (cd ${WRKSRC}; \ ${FIND} -d browser_info -type d -exec ${MKDIR} ${DOCSDIR}/{} \; ; \ ${FIND} -d browser_info -type f -exec ${INSTALL_DATA} {} ${DOCSDIR}/{} \;) .endif .include /files/lodash.merge-4.6.2 FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome)
aboutsummaryrefslogtreecommitdiffstats
path: root/www/http_post
Commit message (Expand)AuthorAgeFilesLines
* - Update to version 1.0.20140814 [1]pawel2015-02-062-5/+5
* Allow staging as a regular userantoine2014-09-071-0/+1
* - Stage supportmiwi2014-01-291-4/+2
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-5/+2