lang/ott/Makefile

   1 # $FreeBSD$
   2
   3 PORTNAME=       ott
   4 PORTVERSION=    0.28
   5 CATEGORIES=     lang
   6
   7 MAINTAINER=     domagoj.stolfa@cl.cam.ac.uk
   8 COMMENT=        Tool for writing definitions of programming languages and calculi
   9
  10 LICENSE=        BSD3CLAUSE
  11 LICENSE_FILE=   ${WRKSRC}/LICENCE
  12
  13 USES=   gmake
  14
  15 ALL_TARGET=     world
  16
  17 USE_GITHUB=     yes
  18 GH_ACCOUNT=     ott-lang
  19
  20 USE_OCAML=      yes
  21
  22 PLIST_FILES=    bin/ott
  23
  24 do-install:
  25         ${INSTALL_PROGRAM} ${WRKSRC}/bin/ott ${STAGEDIR}${PREFIX}/bin
  26
  27 .include <bsd.port.mk>