ABI=
BUILD_DATE=2025-07-11 23:26:07 +0000
BUILD_HOST=NetBSD victory.netbsd.org 9.0 NetBSD 9.0 (LIBKVER) #0: Tue Jan 19 00:00:00 UTC 2038 root@localhost:/sys/arch/evbarm/compile/LIBKVER evbarm
CATEGORIES=lang
CC_VERSION=gcc-7.5.0
CFLAGS=-O2  -I/usr/pkg/include
CPE_URI=cpe:2.3:a:idris2:idris2:0.7.0:::::netbsd9:earmv7hf
CPPFLAGS=  -I/usr/pkg/include
FFLAGS=-O
GMAKE=GNU Make 4.4.1
HOMEPAGE=https://www.idris-lang.org/
LDFLAGS= -L/usr/pkg/lib -Wl,-R/usr/pkg/lib
LICENSE=modified-bsd
LOCALBASE=/usr/pkg
MACHINE_ARCH=earmv7hf
MACHINE_GNU_ARCH=armv7
MAINTAINER=pkgsrc-users@NetBSD.org
NO_BIN_ON_CDROM=
NO_BIN_ON_FTP=
NO_SRC_ON_CDROM=
NO_SRC_ON_FTP=
OBJECT_FMT=ELF
OPSYS=NetBSD
OS_VERSION=9.0
PKGGNUDIR=gnu/
PKGINFODIR=info
PKGMANDIR=man
PKGPATH=lang/idris2
PKGTOOLS_VERSION=20091115
PKG_SYSCONFBASEDIR=/usr/pkg/etc
PKG_SYSCONFDIR=/usr/pkg/etc
PROVIDES=/usr/pkg/idris2-0.7.0/lib/libidris2_support.so
PROVIDES=/usr/pkg/libexec/idris2_app/libidris2_support.so
REQUIRES=/usr/lib/libc.so.12
RESTRICTED=
_USE_DESTDIR=user-destdir
