blob: 67028821ff5365caaf2ad43c2cbaf1dce691b965 (
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
|
# $NetBSD: options.mk,v 1.1 2020/01/20 23:32:38 pho Exp $
PKG_OPTIONS_VAR= PKG_OPTIONS.idris
PKG_SUPPORTED_OPTIONS= idris-ffi gmp
PKG_SUGGESTED_OPTIONS= idris-ffi gmp
.include "../../mk/bsd.prefs.mk"
.include "../../mk/bsd.options.mk"
###
### Build support for libffi
###
.if !empty(PKG_OPTIONS:Midris-ffi)
CONFIGURE_ARGS+= -f ffi
. include "../../devel/hs-libffi/buildlink3.mk"
.endif
###
### Use GMP for Integers
###
.if !empty(PKG_OPTIONS:Mgmp)
CONFIGURE_ARGS+= -f gmp
. include "../../devel/gmp/buildlink3.mk"
. include "../../devel/hs-libffi/buildlink3.mk"
.endif
|
