blob: 43e06cb4c0bc0abdbdf7115eb9b5891aba25437b (
plain)
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
|
# $NetBSD: Makefile,v 1.3 2022/05/14 22:25:38 dholland Exp $
DISTNAME= ATS2-Postiats-0.4.2
PKGNAME= ${DISTNAME:S/ATS2-Postiats/ats2/}
PKGREVISION= 1
CATEGORIES= lang
MASTER_SITES= ${MASTER_SITE_SOURCEFORGE:=ats2-lang/}
EXTRACT_SUFX= .tgz
MAINTAINER= pkgsrc-users@NetBSD.org
HOMEPAGE= http://www.ats-lang.org/
COMMENT= Functional programming language with dependent types
LICENSE= gnu-gpl-v3
WRKSRC= ${WRKDIR}/ATS2-Postiats-int-${PKGVERSION_NOREV}
GNU_CONFIGURE= yes
USE_TOOLS+= gmake
# build is not job safe
MAKE_JOBS_SAFE= no
.include "options.mk"
.if ${PKG_OPTIONS:Memacs}
.include "../../editors/emacs/modules.mk"
# flycheck is not packaged, only build ats-mode.
pre-configure:
cd ${WRKSRC}/utils/emacs && ${EMACS_BIN} -batch -f batch-byte-compile ats2-mode.el
${INSTALL_DATA_DIR} ${DESTDIR}${EMACS_LISPPREFIX}/ats2-mode
${INSTALL_DATA} ${WRKSRC}/utils/emacs/ats2-mode.e* \
${DESTDIR}${EMACS_LISPPREFIX}/ats2-mode
.endif
.include "../../mk/bsd.pkg.mk"
|
