From owner-freebsd-pkg-fallout@freebsd.org Tue Jan 15 04:01:30 2019 Return-Path: Delivered-To: freebsd-pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 4C8AE149BC2F for ; Tue, 15 Jan 2019 04:01:30 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id D9FC76AC43 for ; Tue, 15 Jan 2019 04:01:29 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.ysv.freebsd.org (Postfix) id 9620E149BC2E; Tue, 15 Jan 2019 04:01:29 +0000 (UTC) Delivered-To: pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 5CC2C149BC2D for ; Tue, 15 Jan 2019 04:01:29 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 0C0A16AC40; Tue, 15 Jan 2019 04:01:29 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy6.nyi.freebsd.org (beefy6.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:e9]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id EE2CAD5A3; Tue, 15 Jan 2019 04:01:28 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from beefy6.nyi.freebsd.org (localhost [127.0.0.1]) by beefy6.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id x0F41S1x044368; Tue, 15 Jan 2019 04:01:28 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by beefy6.nyi.freebsd.org (8.15.2/8.15.2/Submit) id x0F41SOX044353; Tue, 15 Jan 2019 04:01:28 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Tue, 15 Jan 2019 04:01:28 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201901150401.x0F41SOX044353@beefy6.nyi.freebsd.org> To: beyert@cs.ucr.edu Subject: [package - 120amd64-default][lang/twelf] Failed for twelf-1.7.1_3 in build Cc: pkg-fallout@FreeBSD.org X-Rspamd-Queue-Id: 0C0A16AC40 X-Spamd-Bar: -- Authentication-Results: mx1.freebsd.org X-Spamd-Result: default: False [-2.98 / 15.00]; local_wl_from(0.00)[FreeBSD.org]; NEURAL_HAM_MEDIUM(-1.00)[-0.999,0]; NEURAL_HAM_SHORT(-0.98)[-0.977,0]; ASN(0.00)[asn:11403, ipnet:2610:1c1:1::/48, country:US]; NEURAL_HAM_LONG(-1.00)[-0.999,0] X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 15 Jan 2019 04:01:30 -0000 You are receiving this mail as a port that you maintain is failing to build on the FreeBSD package build server. Please investigate the failure and submit a PR to fix build. Maintainer: beyert@cs.ucr.edu Last committer: gerald@FreeBSD.org Ident: $FreeBSD: head/lang/twelf/Makefile 487272 2018-12-12 01:35:33Z gerald $ Log URL: http://beefy6.nyi.freebsd.org/data/120amd64-default/490335/logs/twelf-1.7.1_3.log Build URL: http://beefy6.nyi.freebsd.org/build.html?mastername=120amd64-default&build=490335 Log: =>> Building lang/twelf build started at Tue Jan 15 03:59:19 UTC 2019 port directory: /usr/ports/lang/twelf package name: twelf-1.7.1_3 building for: FreeBSD 120amd64-default-job-21 12.0-RELEASE-p2 FreeBSD 12.0-RELEASE-p2 amd64 maintained by: beyert@cs.ucr.edu Makefile ident: $FreeBSD: head/lang/twelf/Makefile 487272 2018-12-12 01:35:33Z gerald $ Poudriere version: 3.2.8 Host OSVERSION: 1300002 Jail OSVERSION: 1200086 Job Id: 21 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1200086 UNAME_v=FreeBSD 12.0-RELEASE-p2 UNAME_r=12.0-RELEASE-p2 BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin LOCALBASE=/usr/local USER=root LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.2.8 MASTERMNT=/usr/local/poudriere/data/.m/120amd64-default/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/120amd64-default/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=120amd64-default SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/120amd64-default/ref/.p SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= DEPENDS_ARGS= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ===> The following configuration options are available for twelf-1.7.1_3: DOCS=on: Build and/or install documentation ===> Use 'make config' to modify these settings ---End OPTIONS List--- --MAINTAINER-- beyert@cs.ucr.edu --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=gmake XDG_DATA_HOME=/wrkdirs/usr/ports/lang/twelf/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/twelf/work HOME=/wrkdirs/usr/ports/lang/twelf/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/lang/twelf/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/lang/twelf/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/twelf/work HOME=/wrkdirs/usr/ports/lang/twelf/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/lang/twelf/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" -fstack-protector " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- PORTDOCS="" TEXMFDIR="share/texmf" TEXMFDISTDIR="share/texmf-dist" TEXMFLOCALDIR="share/texmf-local" TEXMFVARDIR="share/texmf-var" TEXMFCONFIGDIR="share/texmf-config" FMTUTIL_CNF="share/texmf-config/web2c/fmtutil.cnf" OSREL=12.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/twelf" EXAMPLESDIR="share/examples/twelf" DATADIR="share/twelf" WWWDIR="www/twelf" ETCDIR="etc/twelf" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/twelf DOCSDIR=/usr/local/share/doc/twelf EXAMPLESDIR=/usr/local/share/examples/twelf WWWDIR=/usr/local/www/twelf ETCDIR=/usr/local/etc/twelf --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### /usr/local/etc/poudriere.d/make.conf #### # XXX: We really need this but cannot use it while 'make checksum' does not # try the next mirror on checksum failure. It currently retries the same # failed mirror and then fails rather then trying another. It *does* # try the next if the size is mismatched though. #MASTER_SITE_FREEBSD=yes # Build ALLOW_MAKE_JOBS_PACKAGES with 2 jobs MAKE_JOBS_NUMBER=2 # stable/10 includes src.conf too late but make.conf is in sys.mk .if ${.CURDIR:M/poudriere/jails/10*/usr/src/usr.bin/xlint*} # Disable build of llib now that head no longer has lint(1) LINT= true .endif #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_921dbbb2=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: x86_64-unknown-freebsd12.0 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: x86_64-unknown-freebsd12.0 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o" CC_OUTPUT_921dbbb2_58173849=yes CC_OUTPUT_921dbbb2_9bdba57c=yes CC_OUTPUT_921dbbb2_6a4fe7f5=yes CC_OUTPUT_921dbbb2_6bcac02b=yes CC_OUTPUT_921dbbb2_67d20829=yes CC_OUTPUT_921dbbb2_bfa62e83=yes CC_OUTPUT_921dbbb2_f0b4d593=yes CC_OUTPUT_921dbbb2_308abb44=yes CC_OUTPUT_921dbbb2_f00456e5=yes CC_OUTPUT_921dbbb2_65ad290d=yes CC_OUTPUT_921dbbb2_f2776b26=yes CC_OUTPUT_921dbbb2_b2657cc3=yes CC_OUTPUT_921dbbb2_380987f7=yes CC_OUTPUT_921dbbb2_160933ec=yes CC_OUTPUT_921dbbb2_fb62803b=yes _OBJC_CCVERSION_921dbbb2=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: x86_64-unknown-freebsd12.0 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=amd64 OPSYS=FreeBSD _OSRELEASE=12.0-RELEASE-p2 OSREL=12.0 OSVERSION=1200086 PYTHONBASE=/usr/local HAVE_COMPAT_IA32_KERN=YES CONFIGURE_MAX_CMD_LEN=262144 HAVE_PORTS_ENV=1 #### Misc Poudriere #### GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 1024 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited --End resource limits-- =================================================== ===> License BSD2CLAUSE accepted by the user =========================================================================== =================================================== ===> twelf-1.7.1_3 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_5.txz [120amd64-default-job-21] Installing pkg-1.10.5_5... [120amd64-default-job-21] Extracting pkg-1.10.5_5: .......... done ===> twelf-1.7.1_3 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of twelf-1.7.1_3 =========================================================================== =================================================== =========================================================================== =================================================== ===> License BSD2CLAUSE accepted by the user ===> Fetching all distfiles required by twelf-1.7.1_3 for building =========================================================================== =================================================== ===> License BSD2CLAUSE accepted by the user ===> Fetching all distfiles required by twelf-1.7.1_3 for building => SHA256 Checksum OK for twelf-src-1.7.1.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License BSD2CLAUSE accepted by the user ===> Fetching all distfiles required by twelf-1.7.1_3 for building ===> Extracting for twelf-1.7.1_3 => SHA256 Checksum OK for twelf-src-1.7.1.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for twelf-1.7.1_3 =========================================================================== =================================================== ===> twelf-1.7.1_3 depends on executable: mlton - not found ===> Installing existing package /packages/All/mlton-20100608_7.txz [120amd64-default-job-21] Installing mlton-20100608_7... [120amd64-default-job-21] `-- Installing bash-4.4.23_1... [120amd64-default-job-21] | `-- Installing gettext-runtime-0.19.8.1_2... [120amd64-default-job-21] | | `-- Installing indexinfo-0.3.1... [120amd64-default-job-21] | | `-- Extracting indexinfo-0.3.1: .... done [120amd64-default-job-21] | `-- Extracting gettext-runtime-0.19.8.1_2: .......... done [120amd64-default-job-21] `-- Extracting bash-4.4.23_1: .......... done [120amd64-default-job-21] `-- Installing gcc8-8.2.0_4... [120amd64-default-job-21] | `-- Installing binutils-2.30_7,1... [120amd64-default-job-21] | | `-- Extracting xpdfopen-0.86: .... done [120amd64-default-job-21] | `-- Extracting texlive-base-20150521_31: .......... done [120amd64-default-job-21] `-- Extracting texlive-texmf-20150523_4: .......... done [120amd64-default-job-21] Extracting tex-formats-20150521_2: .......... done Message from freetype2-2.9.1: The 2.7.x series now uses the new subpixel hinting mode (V40 port's option) as the default, emulating a modern version of ClearType. This change inevitably leads to different rendering results, and you might change port's options to adapt it to your taste (or use the new "FREETYPE_PROPERTIES" environment variable). The environment variable "FREETYPE_PROPERTIES" can be used to control the driver properties. Example: FREETYPE_PROPERTIES=truetype:interpreter-version=35 \ cff:no-stem-darkening=1 \ autofitter:warping=1 This allows to select, say, the subpixel hinting mode at runtime for a given application. The controllable properties are listed in the section "Controlling FreeType Modules" in the reference's table of contents (/usr/local/share/doc/freetype2/reference/ft2-toc.html, if documentation was installed). Message from python27-2.7.15: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: bsddb databases/py-bsddb gdbm databases/py-gdbm sqlite3 databases/py-sqlite3 tkinter x11-toolkits/py-tkinter =========================================================================== Message from zziplib-0.13.69_1: ===> NOTICE: The zziplib port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port Message from python36-3.6.8: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py36-gdbm databases/py-gdbm@py36 py36-sqlite3 databases/py-sqlite3@py36 py36-tkinter x11-toolkits/py-tkinter@py36 =========================================================================== Message from ca_root_nss-3.41: ********************************* WARNING ********************************* FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. *********************************** NOTE ********************************** This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem *************************************************************************** Message from trousers-0.3.14_2: To run tcsd automatically, add the following line to /etc/rc.conf: tcsd_enable="YES" You might want to edit /usr/local/etc/tcsd.conf to reflect your setup. If you want to use tcsd with software TPM emulator, use the following configuration in /etc/rc.conf: tcsd_enable="YES" tcsd_mode="emulator" tpmd_enable="YES" To use TPM, add your_account to '_tss' group like following: # pw groupmod _tss -m your_account Message from ghostscript9-agpl-base-9.26: This package installs a script named dvipdf that depends on dvips. If you want to use this script you need to install print/tex-dvipsk. ===> twelf-1.7.1_3 depends on file: /usr/local/share/texmf-var/web2c/tex/tex.fmt - found ===> Returning to build of twelf-1.7.1_3 ===> twelf-1.7.1_3 depends on executable: dvips - not found ===> Installing existing package /packages/All/tex-dvipsk-5.995_2.txz [120amd64-default-job-21] Installing tex-dvipsk-5.995_2... [120amd64-default-job-21] Extracting tex-dvipsk-5.995_2: .......... done ===> twelf-1.7.1_3 depends on executable: dvips - found ===> Returning to build of twelf-1.7.1_3 ===> twelf-1.7.1_3 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_3.txz [120amd64-default-job-21] Installing gmake-4.2.1_3... [120amd64-default-job-21] Extracting gmake-4.2.1_3: .......... done ===> twelf-1.7.1_3 depends on executable: gmake - found ===> Returning to build of twelf-1.7.1_3 ===> twelf-1.7.1_3 depends on executable: makeinfo - not found ===> Installing existing package /packages/All/texinfo-6.5_4,1.txz [120amd64-default-job-21] Installing texinfo-6.5_4,1... [120amd64-default-job-21] `-- Installing p5-Locale-libintl-1.31... [120amd64-default-job-21] `-- Extracting p5-Locale-libintl-1.31: .......... done [120amd64-default-job-21] `-- Installing p5-Text-Unidecode-1.30... [120amd64-default-job-21] `-- Extracting p5-Text-Unidecode-1.30: .......... done [120amd64-default-job-21] `-- Installing p5-Unicode-EastAsianWidth-1.40... [120amd64-default-job-21] `-- Extracting p5-Unicode-EastAsianWidth-1.40: ...... done [120amd64-default-job-21] Extracting texinfo-6.5_4,1: .......... done ===> twelf-1.7.1_3 depends on executable: makeinfo - found ===> Returning to build of twelf-1.7.1_3 =========================================================================== =================================================== =========================================================================== =================================================== ===> Configuring for twelf-1.7.1_3 =========================================================================== =================================================== ===> Building for twelf-1.7.1_3 gmake[1]: Entering directory '/wrkdirs/usr/ports/lang/twelf/work/twelf' ************************************************* Twelf Server ************************************************* rm -Rf src/frontend/buildid.sml bin/buildid >src/frontend/buildid.sml bin/buildid: svnversion: not found mltonversion=`mlton -default-ann 'nonexhaustiveMatch ignore' 2>&1 | awk 'NR==1 { print 0+$2 }'`; \ if [ $mltonversion -ge 20041109 ]; then \ cmfileid="twelf-server-mlton.cm"; \ elif [ $mltonversion="MLTONVERSION" ]; then \ cmfileid="twelf-server-mlton.cm"; \ else \ echo; echo "Error: MLton >= 20041109 required"; echo; \ exit 1; \ fi; \ mlton -default-ann 'nonexhaustiveMatch ignore' -output bin/twelf-server build/${cmfileid} invalid target: self usage: mlton [option ...] file.{c|cm|mlb|o|sml} [file.{c|o|s|S} ...] -align {4|8} object alignment -as-opt pass option to assembler -cc-opt pass option to C compiler -codegen {native|x86|c} which code generator to use -const ' ' set compile-time constant -default-ann set annotation default for mlb files -default-type '' set default type -disable-ann disable annotation in mlb files -export-header write C header file for _export's -ieee-fp {false|true} use strict IEEE floating-point -inline set inlining threshold -keep {g|o|sml} save intermediate files -link-opt pass option to linker -mlb-path-map additional MLB path map -mlb-path-var ' ' additional MLB path var -output name of output file -profile {no|alloc|count|time} produce executable suitable for profiling -profile-branch {false|true} profile branches in addition to functions -profile-stack {false|true} profile the stack -profile-val {false|true} profile val bindings in addition to functions -runtime pass arg to runtime via @MLton -show-basis write out the final basis environment -show-def-use write def-use information -stop {f|g|o|sml|tc} when to stop -target {} platform that executable will run on -target-as-opt target-dependent assembler option -target-cc-opt target-dependent C compiler option -target-link-opt target-dependent linker option -verbose {0|1|2|3} how verbose to be gmake[1]: *** [Makefile:47: twelf-server-mlton] Error 1 gmake[1]: Leaving directory '/wrkdirs/usr/ports/lang/twelf/work/twelf' *** Error code 1 Stop. make: stopped in /usr/ports/lang/twelf