198a6b821d
Idris is a general purpose language with full dependent types. It is compiled, with eager evaluation. Dependent types allow types to be predicated on values, meaning that some aspects of a program's behaviour can be specified precisely in the type. The language is closely related to Epigram and Agda. There is a tutorial at http://www.idris-lang.org/documentation
25 lines
579 B
Makefile
25 lines
579 B
Makefile
# $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
|