| Sanity Test Failure |
|
Wednesday, 5 Jun 2013
|
14:11 bapt 
- math/atlas 3.8.4_2
Automatically Tuned Linear Algebra Software (ATLAS)
- math/cblas 1.0
Reference implementation of the C interface to the legacy Fortran BLAS
- math/crlibm 1.0.b4_1
Correctly-rounded mathematics library
- math/givaro 3.5.0
C++ library for computer algebra
- math/gotoblas 2.1.13.3.4.0
Fast implementation of Basic Linear Algebra Subprograms
- math/isabelle
Generic proof assistant
- math/jsmath
JavaScript tool for including mathematics in web pages
- math/lapack 3.4.2
Linear Algebra PACKage
- math/lapacke 3.4.0
Standard C language APIs for LAPACK
- math/levmar 2.5_3
GPL-licensed library implementing the Levenberg-Marquardt algorithm
Convert to new options framework
 
Sanity Test Results
math/isabelle:
This command (FreshPorts code 1):
/usr/local/bin/sudo /usr/sbin/chroot -u dan /usr/FreshPorts/ports-jail
/make-port.sh math/isabelle
2>/tmp/FreshPorts.math.isabelle.make-error.2013.6.5.14.11.53.82177
produced this error:
Error message is: "/usr/ports/math/isabelle/Makefile", line 11: Malformed
conditional (${PORT_OPTIONS:MDOCS})
"/usr/ports/math/isabelle/Makefile", line 14: if-less endif
make: fatal errors encountered -- cannot continue
| |
As an Amazon Associate I earn from qualifying purchases.