Index: head/math/Makefile =================================================================== --- head/math/Makefile (revision 472969) +++ head/math/Makefile (revision 472970) @@ -1,837 +1,838 @@ # $FreeBSD$ # COMMENT = Mathematics SUBDIR += GiNaC SUBDIR += PDL SUBDIR += R SUBDIR += R-cran-Amelia SUBDIR += R-cran-CVST SUBDIR += R-cran-ChangeAnomalyDetection SUBDIR += R-cran-DEoptimR SUBDIR += R-cran-DRR SUBDIR += R-cran-Formula SUBDIR += R-cran-KFAS SUBDIR += R-cran-LearnBayes SUBDIR += R-cran-MCMCpack SUBDIR += R-cran-MSwM SUBDIR += R-cran-MatchIt SUBDIR += R-cran-magic SUBDIR += R-cran-Matching SUBDIR += R-cran-MatrixModels SUBDIR += R-cran-NMF SUBDIR += R-cran-RHmm SUBDIR += R-cran-RSvgDevice SUBDIR += R-cran-RcppArmadillo SUBDIR += R-cran-RcppEigen SUBDIR += R-cran-RcppRoll SUBDIR += R-cran-Rmpfr SUBDIR += R-cran-Rsolnp SUBDIR += R-cran-SparseM SUBDIR += R-cran-uroot SUBDIR += R-cran-VGAM SUBDIR += R-cran-Zelig SUBDIR += R-cran-assertthat SUBDIR += R-cran-backports SUBDIR += R-cran-bdsmatrix SUBDIR += R-cran-car SUBDIR += R-cran-carData SUBDIR += R-cran-coda SUBDIR += R-cran-combinat SUBDIR += R-cran-conf.design SUBDIR += R-cran-ddalpha SUBDIR += R-cran-deldir SUBDIR += R-cran-dimRed SUBDIR += R-cran-dlmodeler SUBDIR += R-cran-dplyr SUBDIR += R-cran-expm SUBDIR += R-cran-forecast SUBDIR += R-cran-fracdiff SUBDIR += R-cran-geepack SUBDIR += R-cran-geometry SUBDIR += R-cran-gmp SUBDIR += R-cran-gower SUBDIR += R-cran-gpclib SUBDIR += R-cran-gss SUBDIR += R-cran-gtable SUBDIR += R-cran-igraph SUBDIR += R-cran-influenceR SUBDIR += R-cran-inline SUBDIR += R-cran-ipred SUBDIR += R-cran-irlba SUBDIR += R-cran-labeling SUBDIR += R-cran-lava SUBDIR += R-cran-lazyeval SUBDIR += R-cran-lme4 SUBDIR += R-cran-maxLik SUBDIR += R-cran-mcmc SUBDIR += R-cran-memisc SUBDIR += R-cran-minqa SUBDIR += R-cran-miscTools SUBDIR += R-cran-mvtnorm SUBDIR += R-cran-nloptr SUBDIR += R-cran-nnls SUBDIR += R-cran-nortest SUBDIR += R-cran-numDeriv SUBDIR += R-cran-outliers SUBDIR += R-cran-pbkrtest SUBDIR += R-cran-pls SUBDIR += R-cran-prodlim SUBDIR += R-cran-psych SUBDIR += R-cran-quadprog SUBDIR += R-cran-qualityTools SUBDIR += R-cran-quantreg SUBDIR += R-cran-recipes SUBDIR += R-cran-rgenoud SUBDIR += R-cran-robustbase SUBDIR += R-cran-sandwich SUBDIR += R-cran-sf SUBDIR += R-cran-sm SUBDIR += R-cran-sp SUBDIR += R-cran-spData SUBDIR += R-cran-spdep SUBDIR += R-cran-SQUAREM SUBDIR += R-cran-sspir SUBDIR += R-cran-stabledist SUBDIR += R-cran-survey SUBDIR += R-cran-truncnorm SUBDIR += R-cran-units SUBDIR += R-cran-xts SUBDIR += R-cran-zoo SUBDIR += SCIP SUBDIR += SoPlex SUBDIR += aamath SUBDIR += abakus SUBDIR += abs SUBDIR += acalc SUBDIR += add SUBDIR += adept SUBDIR += algae SUBDIR += alglib SUBDIR += algotutor SUBDIR += alt-ergo SUBDIR += amath SUBDIR += ambit SUBDIR += analitza SUBDIR += analitza-kde4 SUBDIR += ann SUBDIR += antic SUBDIR += apc SUBDIR += arb SUBDIR += aribas SUBDIR += armadillo SUBDIR += arpack SUBDIR += arpack++ SUBDIR += arpack-ng SUBDIR += arpack-ng-mpich SUBDIR += aspcud SUBDIR += asymptote SUBDIR += atlas SUBDIR += biggles SUBDIR += blacs SUBDIR += blas SUBDIR += blis SUBDIR += blitz++ SUBDIR += blocksolve95 SUBDIR += bsdnt SUBDIR += cadabra2 SUBDIR += calc SUBDIR += calcoo SUBDIR += calctool SUBDIR += cantor SUBDIR += cantor-kde4 SUBDIR += cbc SUBDIR += cblas SUBDIR += ccmath SUBDIR += ceres-solver SUBDIR += cgal SUBDIR += cgl SUBDIR += chaco SUBDIR += chryzodus SUBDIR += clasp SUBDIR += clblas SUBDIR += clblast SUBDIR += clfft SUBDIR += cln SUBDIR += cloog SUBDIR += clp SUBDIR += clrng SUBDIR += cminpack SUBDIR += cmlib SUBDIR += coinmp SUBDIR += concorde SUBDIR += convertall SUBDIR += coq SUBDIR += crlibm SUBDIR += cryptominisat SUBDIR += cvc3 + SUBDIR += cvc4 SUBDIR += diehard SUBDIR += dieharder SUBDIR += djbfft SUBDIR += drgeo SUBDIR += dynare SUBDIR += e SUBDIR += ecos SUBDIR += edenmath SUBDIR += eigen2 SUBDIR += eigen3 SUBDIR += eispack SUBDIR += emc2 SUBDIR += ent SUBDIR += entropy SUBDIR += eprover SUBDIR += ess SUBDIR += eukleides SUBDIR += eval SUBDIR += facile SUBDIR += fann SUBDIR += fflas-ffpack SUBDIR += fftw SUBDIR += fftw-float SUBDIR += fftw3 SUBDIR += fftw3-float SUBDIR += fftw3-long SUBDIR += fftw3-quad SUBDIR += fityk SUBDIR += flann SUBDIR += flint2 SUBDIR += form SUBDIR += fpc-fftw SUBDIR += fpc-gmp SUBDIR += fpc-numlib SUBDIR += freemat SUBDIR += fxt SUBDIR += g2o SUBDIR += galculator SUBDIR += gambit SUBDIR += gap SUBDIR += gdcalc SUBDIR += geg SUBDIR += geogebra SUBDIR += geonext SUBDIR += gexpr SUBDIR += ggobi SUBDIR += giacxcas SUBDIR += givaro SUBDIR += gkmap SUBDIR += glgraph SUBDIR += glm SUBDIR += glpk SUBDIR += glucose SUBDIR += gmm++ SUBDIR += gmp SUBDIR += gmp-ecm SUBDIR += gnome-calculator SUBDIR += gnubc SUBDIR += gnumeric SUBDIR += gnuplot SUBDIR += gnuplot-lite SUBDIR += gnuplot-tex-extras SUBDIR += goblin SUBDIR += gotoblas SUBDIR += grace SUBDIR += gracetmpl SUBDIR += graphthing SUBDIR += gretl SUBDIR += gri SUBDIR += gringo SUBDIR += grpn SUBDIR += gsl SUBDIR += hexcalc SUBDIR += hfst SUBDIR += hs-Agda SUBDIR += hs-Agda-stdlib SUBDIR += hs-NumInstances SUBDIR += hs-adjunctions SUBDIR += hs-categories SUBDIR += hs-comonad SUBDIR += hs-contravariant SUBDIR += hs-data-lens SUBDIR += hs-data-lens-template SUBDIR += hs-distributive SUBDIR += hs-erf SUBDIR += hs-fixed SUBDIR += hs-half SUBDIR += hs-ieee754 SUBDIR += hs-integer-logarithms SUBDIR += hs-kan-extensions SUBDIR += hs-math-functions SUBDIR += hs-mwc-random SUBDIR += hs-pointed SUBDIR += hs-probability SUBDIR += hs-semigroupoids SUBDIR += hs-semigroups SUBDIR += hs-statistics SUBDIR += hs-vector-space SUBDIR += igraph SUBDIR += intervaltree SUBDIR += ipopt SUBDIR += ised SUBDIR += jacal SUBDIR += jags SUBDIR += jakarta-commons-math SUBDIR += jakarta-commons-math3 SUBDIR += jama SUBDIR += jeuclid SUBDIR += jlatexmath SUBDIR += jsmath-fonts SUBDIR += jtransforms SUBDIR += jts SUBDIR += kalgebra SUBDIR += kalgebra-kde4 SUBDIR += kbruch SUBDIR += kbruch-kde4 SUBDIR += kcalc SUBDIR += kcalc-kde4 SUBDIR += kig SUBDIR += kig-kde4 SUBDIR += kktdirect SUBDIR += kmplot SUBDIR += kmplot-kde4 SUBDIR += labplot SUBDIR += lambda SUBDIR += lapack SUBDIR += lapack++ SUBDIR += lapack95 SUBDIR += lapacke SUBDIR += laspack SUBDIR += ldouble SUBDIR += levmar SUBDIR += libRmath SUBDIR += libflame SUBDIR += liblbfgs SUBDIR += libmesh SUBDIR += libmissing SUBDIR += libocas SUBDIR += liborigin SUBDIR += libqalculate SUBDIR += libranlip SUBDIR += librsb SUBDIR += libtommath SUBDIR += libtsnnls SUBDIR += libxls SUBDIR += libxlsxwriter SUBDIR += linpack SUBDIR += lll_spect SUBDIR += lp_solve SUBDIR += lrng SUBDIR += ltl SUBDIR += ltl2ba SUBDIR += lybniz SUBDIR += mate-calc SUBDIR += math77 SUBDIR += mathgl SUBDIR += mathmod SUBDIR += mathomatic SUBDIR += matio SUBDIR += matlab-installer SUBDIR += maxima SUBDIR += mbasecalc SUBDIR += metis SUBDIR += metis-edf SUBDIR += metis4 SUBDIR += mingw32-libgmp SUBDIR += minisat SUBDIR += miracl SUBDIR += mlpack SUBDIR += moo SUBDIR += mosesdecoder SUBDIR += mpc SUBDIR += mpexpr SUBDIR += mpfr SUBDIR += mpir SUBDIR += mppp SUBDIR += mprime SUBDIR += msieve SUBDIR += mtl SUBDIR += mtrxmath SUBDIR += multichoose SUBDIR += mumps SUBDIR += mumps-edf SUBDIR += mumps-mpich SUBDIR += muparser SUBDIR += naturalmath SUBDIR += nauty SUBDIR += ndiff SUBDIR += newmat SUBDIR += nfft SUBDIR += ngraph SUBDIR += nlopt SUBDIR += ntl SUBDIR += numdiff SUBDIR += nyh-hoc SUBDIR += ocaml-ocamlgraph SUBDIR += ocaml-zarith SUBDIR += ocamlgsl SUBDIR += octave SUBDIR += octave-forge SUBDIR += octave-forge-actuarial SUBDIR += octave-forge-audio SUBDIR += octave-forge-base SUBDIR += octave-forge-bim SUBDIR += octave-forge-bioinfo SUBDIR += octave-forge-bsltl SUBDIR += octave-forge-cgi SUBDIR += octave-forge-civil-engineering SUBDIR += octave-forge-communications SUBDIR += octave-forge-control SUBDIR += octave-forge-data-smoothing SUBDIR += octave-forge-database SUBDIR += octave-forge-dataframe SUBDIR += octave-forge-dicom SUBDIR += octave-forge-divand SUBDIR += octave-forge-doctest SUBDIR += octave-forge-econometrics SUBDIR += octave-forge-engine SUBDIR += octave-forge-fenv SUBDIR += octave-forge-financial SUBDIR += octave-forge-fits SUBDIR += octave-forge-fl-core SUBDIR += octave-forge-fpl SUBDIR += octave-forge-fuzzy-logic-toolkit SUBDIR += octave-forge-ga SUBDIR += octave-forge-general SUBDIR += octave-forge-generate_html SUBDIR += octave-forge-geometry SUBDIR += octave-forge-gnuplot SUBDIR += octave-forge-gsl SUBDIR += octave-forge-ident SUBDIR += octave-forge-image SUBDIR += octave-forge-informationtheory SUBDIR += octave-forge-integration SUBDIR += octave-forge-interval SUBDIR += octave-forge-io SUBDIR += octave-forge-irsa SUBDIR += octave-forge-level-set SUBDIR += octave-forge-linear-algebra SUBDIR += octave-forge-lssa SUBDIR += octave-forge-ltfat SUBDIR += octave-forge-mapping SUBDIR += octave-forge-mechanics SUBDIR += octave-forge-miscellaneous SUBDIR += octave-forge-missing-functions SUBDIR += octave-forge-msh SUBDIR += octave-forge-multicore SUBDIR += octave-forge-mvn SUBDIR += octave-forge-nan SUBDIR += octave-forge-ncarray SUBDIR += octave-forge-netcdf SUBDIR += octave-forge-nlwing2 SUBDIR += octave-forge-nnet SUBDIR += octave-forge-nurbs SUBDIR += octave-forge-oct2mat SUBDIR += octave-forge-octclip SUBDIR += octave-forge-octproj SUBDIR += octave-forge-odebvp SUBDIR += octave-forge-optics SUBDIR += octave-forge-optim SUBDIR += octave-forge-optiminterp SUBDIR += octave-forge-outliers SUBDIR += octave-forge-parallel SUBDIR += octave-forge-pdb SUBDIR += octave-forge-plot SUBDIR += octave-forge-quaternion SUBDIR += octave-forge-queueing SUBDIR += octave-forge-secs1d SUBDIR += octave-forge-secs2d SUBDIR += octave-forge-secs3d SUBDIR += octave-forge-signal SUBDIR += octave-forge-simp SUBDIR += octave-forge-sockets SUBDIR += octave-forge-sparsersb SUBDIR += octave-forge-specfun SUBDIR += octave-forge-special-matrix SUBDIR += octave-forge-splines SUBDIR += octave-forge-statistics SUBDIR += octave-forge-stk SUBDIR += octave-forge-strings SUBDIR += octave-forge-struct SUBDIR += octave-forge-symband SUBDIR += octave-forge-symbolic SUBDIR += octave-forge-tcl-octave SUBDIR += octave-forge-tisean SUBDIR += octave-forge-tsa SUBDIR += octave-forge-video SUBDIR += octave-forge-zenity SUBDIR += octave-forge-zeromq SUBDIR += ogdf SUBDIR += oleo SUBDIR += openblas SUBDIR += openfst SUBDIR += openlibm SUBDIR += opensolaris-libm SUBDIR += orpie SUBDIR += p5-AI-DecisionTree SUBDIR += p5-AI-Genetic SUBDIR += p5-AI-NeuralNet-BackProp SUBDIR += p5-AI-Perceptron SUBDIR += p5-Algorithm-Combinatorics SUBDIR += p5-Algorithm-CurveFit SUBDIR += p5-Algorithm-KMeans SUBDIR += p5-Algorithm-Munkres SUBDIR += p5-Bit-ShiftReg SUBDIR += p5-Bit-Vector SUBDIR += p5-Bit-Vector-Minimal SUBDIR += p5-CAD-Calc SUBDIR += p5-Chart-Math-Axis SUBDIR += p5-Data-Float SUBDIR += p5-Date-Handler SUBDIR += p5-GIS-Distance SUBDIR += p5-GIS-Distance-Fast SUBDIR += p5-GIS-Distance-Lite SUBDIR += p5-Geo-Coordinates-UTM SUBDIR += p5-Geo-Distance SUBDIR += p5-Geo-Distance-XS SUBDIR += p5-Graph SUBDIR += p5-Math-Algebra-Symbols SUBDIR += p5-Math-Base36 SUBDIR += p5-Math-Base85 SUBDIR += p5-Math-BaseCalc SUBDIR += p5-Math-BaseCnv SUBDIR += p5-Math-Bezier SUBDIR += p5-Math-Bezier-Convert SUBDIR += p5-Math-BigInt SUBDIR += p5-Math-BigInt-FastCalc SUBDIR += p5-Math-BigInt-GMP SUBDIR += p5-Math-BigInt-Lite SUBDIR += p5-Math-BigInt-Pari SUBDIR += p5-Math-BigRat SUBDIR += p5-Math-CDF SUBDIR += p5-Math-Calc-Units SUBDIR += p5-Math-Cephes SUBDIR += p5-Math-Combinatorics SUBDIR += p5-Math-Complex SUBDIR += p5-Math-ConvexHull SUBDIR += p5-Math-Currency SUBDIR += p5-Math-Derivative SUBDIR += p5-Math-Evol SUBDIR += p5-Math-Expr SUBDIR += p5-Math-FFT SUBDIR += p5-Math-FixedPrecision SUBDIR += p5-Math-Fleximal SUBDIR += p5-Math-GMP SUBDIR += p5-Math-GMPf SUBDIR += p5-Math-GMPq SUBDIR += p5-Math-GMPz SUBDIR += p5-Math-GSL SUBDIR += p5-Math-Geometry SUBDIR += p5-Math-Geometry-Planar SUBDIR += p5-Math-Geometry-Planar-GPC SUBDIR += p5-Math-Geometry-Planar-GPC-PolygonXS SUBDIR += p5-Math-Geometry-Planar-Offset SUBDIR += p5-Math-Geometry-Voronoi SUBDIR += p5-Math-Gradient SUBDIR += p5-Math-Int128 SUBDIR += p5-Math-Int64 SUBDIR += p5-Math-Interpolate SUBDIR += p5-Math-Intersection-StraightLine SUBDIR += p5-Math-Logic SUBDIR += p5-Math-MPC SUBDIR += p5-Math-MPFR SUBDIR += p5-Math-Matrix SUBDIR += p5-Math-MatrixReal SUBDIR += p5-Math-NumberCruncher SUBDIR += p5-Math-Pari SUBDIR += p5-Math-Polygon SUBDIR += p5-Math-Polygon-Tree SUBDIR += p5-Math-Polynomial-Solve SUBDIR += p5-Math-Prime-XS SUBDIR += p5-Math-ProvablePrime SUBDIR += p5-Math-RPN SUBDIR += p5-Math-Random SUBDIR += p5-Math-Random-ISAAC SUBDIR += p5-Math-Random-ISAAC-XS SUBDIR += p5-Math-Random-MT SUBDIR += p5-Math-Random-MT-Auto SUBDIR += p5-Math-Random-OO SUBDIR += p5-Math-Random-Secure SUBDIR += p5-Math-RandomOrg SUBDIR += p5-Math-Round SUBDIR += p5-Math-Round-Var SUBDIR += p5-Math-Sequence SUBDIR += p5-Math-Series SUBDIR += p5-Math-SigFigs SUBDIR += p5-Math-SimpleVariable SUBDIR += p5-Math-Spline SUBDIR += p5-Math-String SUBDIR += p5-Math-Symbolic SUBDIR += p5-Math-Symbolic-Custom-CCompiler SUBDIR += p5-Math-Symbolic-Custom-Contains SUBDIR += p5-Math-Symbolic-Custom-ErrorPropagation SUBDIR += p5-Math-Symbolic-Custom-LaTeXDumper SUBDIR += p5-Math-Symbolic-Custom-Pattern SUBDIR += p5-Math-Symbolic-Custom-Simplification SUBDIR += p5-Math-Symbolic-Custom-Transformation SUBDIR += p5-Math-SymbolicX-BigNum SUBDIR += p5-Math-SymbolicX-Complex SUBDIR += p5-Math-SymbolicX-Error SUBDIR += p5-Math-SymbolicX-Inline SUBDIR += p5-Math-SymbolicX-NoSimplification SUBDIR += p5-Math-SymbolicX-ParserExtensionFactory SUBDIR += p5-Math-SymbolicX-Statistics-Distributions SUBDIR += p5-Math-TrulyRandom SUBDIR += p5-Math-Units SUBDIR += p5-Math-Utils SUBDIR += p5-Math-Vec SUBDIR += p5-Math-VecStat SUBDIR += p5-Math-VectorReal SUBDIR += p5-NetCDF SUBDIR += p5-Number-Compare SUBDIR += p5-Number-Fraction SUBDIR += p5-Number-Misc SUBDIR += p5-Number-Uncertainty SUBDIR += p5-Number-WithError SUBDIR += p5-Number-WithError-LaTeX SUBDIR += p5-Parse-Range SUBDIR += p5-Roman SUBDIR += p5-Set-IntSpan SUBDIR += p5-Set-IntSpan-Fast SUBDIR += p5-Set-IntSpan-Fast-XS SUBDIR += p5-Set-Partition SUBDIR += p5-Set-Window SUBDIR += p5-Statistics-Basic SUBDIR += p5-Statistics-Benford SUBDIR += p5-Statistics-ChiSquare SUBDIR += p5-Statistics-Contingency SUBDIR += p5-Statistics-Descriptive SUBDIR += p5-Statistics-Descriptive-Discrete SUBDIR += p5-Statistics-Distributions SUBDIR += p5-Statistics-Forecast SUBDIR += p5-Statistics-Frequency SUBDIR += p5-Statistics-LTU SUBDIR += p5-Statistics-LineFit SUBDIR += p5-Statistics-Lite SUBDIR += p5-Statistics-OLS SUBDIR += p5-Statistics-R SUBDIR += p5-Statistics-Regression SUBDIR += p5-Statistics-TTest SUBDIR += p5-Task-Math-Symbolic SUBDIR += p5-Text-AsciiTeX SUBDIR += p5-bignum SUBDIR += pantheon-calculator SUBDIR += pari SUBDIR += parmetis SUBDIR += parmgridgen SUBDIR += pdal SUBDIR += pear-Math_BigInteger SUBDIR += pear-Math_Combinatorics SUBDIR += pecl-big_int SUBDIR += pecl-bitset SUBDIR += pecl-bitset2 SUBDIR += pecl-stats SUBDIR += pecl-stats2 SUBDIR += pecl-trader SUBDIR += petiga SUBDIR += php56-bcmath SUBDIR += php56-gmp SUBDIR += php70-bcmath SUBDIR += php70-gmp SUBDIR += php71-bcmath SUBDIR += php71-gmp SUBDIR += php72-bcmath SUBDIR += php72-gmp SUBDIR += physcalc SUBDIR += picosat SUBDIR += piranha SUBDIR += plman SUBDIR += ploticus SUBDIR += ploticus-nox11 SUBDIR += plplot SUBDIR += plplot-ada SUBDIR += primegen SUBDIR += prng SUBDIR += proofgeneral SUBDIR += pspp SUBDIR += pure-mpfr SUBDIR += pure-rational SUBDIR += py-Diofant SUBDIR += py-GridDataFormats SUBDIR += py-PyMetis SUBDIR += py-PySCIPOpt SUBDIR += py-PyWavelets SUBDIR += py-Pyomo SUBDIR += py-algopy SUBDIR += py-altgraph SUBDIR += py-apgl SUBDIR += py-basemap SUBDIR += py-basemap-data SUBDIR += py-bitmath SUBDIR += py-bitvector SUBDIR += py-bottleneck SUBDIR += py-cdecimal SUBDIR += py-colormath SUBDIR += py-cryptominisat SUBDIR += py-cvxopt SUBDIR += py-cyipopt SUBDIR += py-fastcluster SUBDIR += py-ffc SUBDIR += py-fiat SUBDIR += py-fpconst SUBDIR += py-gato SUBDIR += py-gmpy SUBDIR += py-gmpy2 SUBDIR += py-gnuplot SUBDIR += py-graphillion SUBDIR += py-igakit SUBDIR += py-igraph SUBDIR += py-intspan SUBDIR += py-keras SUBDIR += py-levmar SUBDIR += py-luminol SUBDIR += py-mathdom SUBDIR += py-matplotlib SUBDIR += py-mpmath SUBDIR += py-munkres SUBDIR += py-networkx SUBDIR += py-numarray SUBDIR += py-numeric SUBDIR += py-numexpr SUBDIR += py-numpy SUBDIR += py-nzmath SUBDIR += py-pandas SUBDIR += py-pandas-datareader SUBDIR += py-patsy SUBDIR += py-permutation SUBDIR += py-petsc4py SUBDIR += py-piranha SUBDIR += py-plastex SUBDIR += py-probstat SUBDIR += py-pyFFTW SUBDIR += py-pyasp SUBDIR += py-pybloom SUBDIR += py-pycosat SUBDIR += py-pygsl SUBDIR += py-pyhull SUBDIR += py-pyipopt SUBDIR += py-pymc SUBDIR += py-pymc3 SUBDIR += py-pyneqsys SUBDIR += py-pynleq2 SUBDIR += py-pyodesys SUBDIR += py-pysparse SUBDIR += py-pysym SUBDIR += py-pyvtk SUBDIR += py-random2 SUBDIR += py-roman SUBDIR += py-scientific SUBDIR += py-scikit-umfpack SUBDIR += py-seaborn SUBDIR += py-secp256k1 SUBDIR += py-simhash SUBDIR += py-spectral SUBDIR += py-statsmodels SUBDIR += py-svgmath SUBDIR += py-sym SUBDIR += py-symcxx SUBDIR += py-symeig SUBDIR += py-sympy SUBDIR += py-theano SUBDIR += py-ufl SUBDIR += py-uncertainties SUBDIR += py-viper SUBDIR += py-yt SUBDIR += qalculate SUBDIR += qd SUBDIR += qhull SUBDIR += qhull5 SUBDIR += qrupdate SUBDIR += qtiplot SUBDIR += qtiplot-doc SUBDIR += qtoctave SUBDIR += qwtplot3d-qt4 SUBDIR += randlib SUBDIR += rapid SUBDIR += reduce SUBDIR += reduce-psl SUBDIR += reed-solomon SUBDIR += rexx-regmath SUBDIR += rkward-kde SUBDIR += rngstreams SUBDIR += rocs SUBDIR += rocs-kde4 SUBDIR += rpcalc SUBDIR += rpy SUBDIR += rpy2 SUBDIR += rubygem-algebra SUBDIR += rubygem-expression_parser SUBDIR += rubygem-fftw3 SUBDIR += rubygem-mathn SUBDIR += rubygem-narray SUBDIR += rubygem-narray_miss SUBDIR += rubygem-numru-misc SUBDIR += rubygem-numru-units SUBDIR += rubygem-rb-gsl SUBDIR += saga SUBDIR += sage SUBDIR += sc SUBDIR += sc-im SUBDIR += scalapack SUBDIR += scilab SUBDIR += scilab-toolbox-swt SUBDIR += sdpa SUBDIR += sdpara SUBDIR += secp256k1 SUBDIR += sfft SUBDIR += sfst SUBDIR += simd-viterbi SUBDIR += slatec SUBDIR += slgrace SUBDIR += snns SUBDIR += solitaire SUBDIR += sound-of-sorting SUBDIR += spar SUBDIR += spblas SUBDIR += spectra SUBDIR += speedcrunch SUBDIR += spooles SUBDIR += spooles-mpich SUBDIR += stp SUBDIR += suitesparse SUBDIR += sundials SUBDIR += superlu SUBDIR += superlu_mt SUBDIR += surf SUBDIR += symmetrica SUBDIR += tablix SUBDIR += taucs SUBDIR += tblis SUBDIR += testu01 SUBDIR += tetgen SUBDIR += timbl SUBDIR += tmv SUBDIR += tomsfastmath SUBDIR += topaz SUBDIR += triangle SUBDIR += trlan SUBDIR += truthtable SUBDIR += tvmet SUBDIR += ump SUBDIR += units SUBDIR += unuran SUBDIR += viennacl SUBDIR += vowpal_wabbit SUBDIR += vtk5 SUBDIR += vtk5-data SUBDIR += vtk6 SUBDIR += wcalc SUBDIR += wfmath SUBDIR += why3 SUBDIR += wingz3 SUBDIR += wxMaxima SUBDIR += x12arima SUBDIR += xblas SUBDIR += xfce4-calculator-plugin SUBDIR += xgraph SUBDIR += xlapack SUBDIR += xldlas SUBDIR += xlife++ SUBDIR += xplot SUBDIR += xppaut SUBDIR += xspread SUBDIR += xtensor SUBDIR += yacas SUBDIR += z3 SUBDIR += zimpl .include Index: head/math/cvc4/Makefile =================================================================== --- head/math/cvc4/Makefile (nonexistent) +++ head/math/cvc4/Makefile (revision 472970) @@ -0,0 +1,74 @@ +# $FreeBSD$ + +PORTNAME= cvc4 +PORTVERSION= 1.5 +CATEGORIES= math java +MASTER_SITES= https://cvc4.cs.stanford.edu/downloads/builds/src/ + +MAINTAINER= greg@unrelenting.technology +COMMENT= Automatic theorem prover for SMT (Satisfiability Modulo Theories) + +LICENSE= BSD3CLAUSE +LICENSE_FILE= ${WRKSRC}/COPYING + +LIB_DEPENDS= libantlr3c.so:devel/libantlr3c \ + libboost_system.so:devel/boost-libs +BUILD_DEPENDS= gexpr:sysutils/coreutils \ + bash:shells/bash \ + antlr3:devel/antlr3 + +USES= compiler:c++11-lang pkgconfig gmake libtool shebangfix localbase +USE_JAVA= yes +JAVA_BUILD= yes + +GNU_CONFIGURE= yes +CONFIGURE_ARGS+= --disable-dependency-tracking \ + --with-swig=${LOCALBASE}/bin/swig3.0 \ + ANTLR=${LOCALBASE}/bin/antlr3 +CONFIGURE_SHELL= ${LOCALBASE}/bin/bash +USE_LDCONFIG= yes +SHEBANG_FILES= src/mk* src/theory/mk* src/base/mk* src/expr/mk* src/options/mk* test/regress/run_regression + +OPTIONS_DEFINE= JAVA READLINE DEBUG +OPTIONS_RADIO= NUMLIB +OPTIONS_RADIO_NUMLIB= GMP CLN +OPTIONS_DEFAULT= READLINE CLN +OPTIONS_SUB= yes + +GMP_DESC= Use GMP numeric library +CLN_DESC= Use CLN numeric library (disables portfolio mode) + +JAVA_CONFIGURE_ON= --enable-language-bindings=c,c++,java \ + JAVA_CPPFLAGS="-I${JAVA_HOME}/include -I${JAVA_HOME}/include/freebsd" \ + JAVAC=${JAVAC} JAVAH=${JAVAH} JAR=${JAR} +JAVA_CONFIGURE_OFF= --enable-language-bindings=c,c++ +JAVA_BUILD_DEPENDS= swig3.0:devel/swig30 + +READLINE_CONFIGURE_WITH= readline +READLINE_USES= readline + +GMP_CONFIGURE_WITH= gmp +GMP_CONFIGURE_ON= --with-portfolio +GMP_LIB_DEPENDS= libgmp.so:math/gmp \ + libboost_thread.so:devel/boost-libs +# note: CVC4 already depends on boost-libs, so portfolio mode is "free" in terms of pkg dependencies + +CLN_CONFIGURE_WITH= cln +CLN_LIB_DEPENDS= libcln.so:math/cln \ + libgmp.so:math/gmp + +DEBUG_CONFIGURE_ON= --with-build=debug +DEBUG_CONFIGURE_OFF= --with-build=production +DEBUG_INSTALL_TARGET_OFF= install-strip + +post-patch: + ${REINPLACE_CMD} -e 's|expr |gexpr |g' ${WRKSRC}/src/options/mkoptions + +.include + +.if ${PORT_OPTIONS:MREADLINE} || ${PORT_OPTIONS:MCLN} +LICENSE= GPLv3 +CONFIGURE_ARGS+= --enable-gpl +.endif + +.include Property changes on: head/math/cvc4/Makefile ___________________________________________________________________ Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:keywords ## -0,0 +1 ## +FreeBSD=%H \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/math/cvc4/distinfo =================================================================== --- head/math/cvc4/distinfo (nonexistent) +++ head/math/cvc4/distinfo (revision 472970) @@ -0,0 +1,3 @@ +TIMESTAMP = 1524235369 +SHA256 (cvc4-1.5.tar.gz) = 5d6b4f8ee8420f85e3f804181341cedf6ea32342c48f355a5be87754152b14e9 +SIZE (cvc4-1.5.tar.gz) = 8059968 Property changes on: head/math/cvc4/distinfo ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/math/cvc4/files/patch-src_base_configuration.cpp =================================================================== --- head/math/cvc4/files/patch-src_base_configuration.cpp (nonexistent) +++ head/math/cvc4/files/patch-src_base_configuration.cpp (revision 472970) @@ -0,0 +1,11 @@ +--- src/base/configuration.cpp.orig 2018-04-22 17:53:43 UTC ++++ src/base/configuration.cpp +@@ -291,7 +291,7 @@ std::string Configuration::getCompiler() { + } + + std::string Configuration::getCompiledDateTime() { +- return __DATE__ " " __TIME__; ++ return "(timestamp removed for reproducible builds)"; + } + + }/* CVC4 namespace */ Property changes on: head/math/cvc4/files/patch-src_base_configuration.cpp ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/math/cvc4/files/patch-src_main_portfolio.cpp =================================================================== --- head/math/cvc4/files/patch-src_main_portfolio.cpp (nonexistent) +++ head/math/cvc4/files/patch-src_main_portfolio.cpp (revision 472970) @@ -0,0 +1,24 @@ +--- src/main/portfolio.cpp.orig 2018-04-22 17:42:48 UTC ++++ src/main/portfolio.cpp +@@ -18,6 +18,9 @@ + #include + #include + #include ++#ifdef __FreeBSD__ ++#include ++#endif + + #include "base/output.h" + #include "options/options.h" +@@ -100,7 +103,11 @@ std::pair runPortfolio(int numThreads, + void *stackaddr; + size_t stacksize; + pthread_attr_t attr; ++#ifdef __linux__ + pthread_getattr_np(threads[t].native_handle(), &attr); ++#elif __FreeBSD__ ++ pthread_attr_get_np(threads[t].native_handle(), &attr); ++#endif + pthread_attr_getstack(&attr, &stackaddr, &stacksize); + Chat() << "Created worker thread " << t << " with stack size " << stacksize << std::endl; + } Property changes on: head/math/cvc4/files/patch-src_main_portfolio.cpp ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/math/cvc4/pkg-descr =================================================================== --- head/math/cvc4/pkg-descr (nonexistent) +++ head/math/cvc4/pkg-descr (revision 472970) @@ -0,0 +1,6 @@ +An efficient open-source automatic theorem prover for satisfiability modulo +theories (SMT) problems. It can be used to prove the validity (or, dually, the +satisfiability) of first-order formulas in a large number of built-in logical +theories and their combination. + +WWW: https://cvc4.cs.stanford.edu/web/ Property changes on: head/math/cvc4/pkg-descr ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property Index: head/math/cvc4/pkg-plist =================================================================== --- head/math/cvc4/pkg-plist (nonexistent) +++ head/math/cvc4/pkg-plist (revision 472970) @@ -0,0 +1,130 @@ +bin/cvc4 +bin/lfsc-checker +%%GMP%%bin/pcvc4 +include/cvc4/base/configuration.h +include/cvc4/base/exception.h +include/cvc4/base/listener.h +include/cvc4/base/modal_exception.h +include/cvc4/base/ptr_closer.h +include/cvc4/base/tls.h +include/cvc4/bindings/compat/c/c_interface.h +include/cvc4/bindings/compat/c/c_interface_defs.h +include/cvc4/compat/cvc3_compat.h +include/cvc4/context/cdhashmap_forward.h +include/cvc4/context/cdhashset_forward.h +include/cvc4/context/cdinsert_hashmap_forward.h +include/cvc4/context/cdlist_forward.h +include/cvc4/context/cdtrail_hashmap_forward.h +include/cvc4/cvc4.h +include/cvc4/cvc4_private.h +include/cvc4/cvc4_private_library.h +include/cvc4/cvc4_public.h +include/cvc4/cvc4parser_private.h +include/cvc4/cvc4parser_public.h +include/cvc4/expr/array.h +include/cvc4/expr/array_store_all.h +include/cvc4/expr/ascription_type.h +include/cvc4/expr/chain.h +include/cvc4/expr/datatype.h +include/cvc4/expr/emptyset.h +include/cvc4/expr/expr.h +include/cvc4/expr/expr_iomanip.h +include/cvc4/expr/expr_manager.h +include/cvc4/expr/expr_manager_template.h +include/cvc4/expr/expr_stream.h +include/cvc4/expr/expr_template.h +include/cvc4/expr/kind.h +include/cvc4/expr/kind_template.h +include/cvc4/expr/pickler.h +include/cvc4/expr/predicate.h +include/cvc4/expr/record.h +include/cvc4/expr/symbol_table.h +include/cvc4/expr/type.h +include/cvc4/expr/uninterpreted_constant.h +include/cvc4/expr/variable_type_map.h +include/cvc4/options/argument_extender.h +include/cvc4/options/arith_heuristic_pivot_rule.h +include/cvc4/options/arith_propagation_mode.h +include/cvc4/options/arith_unate_lemma_mode.h +include/cvc4/options/language.h +include/cvc4/options/option_exception.h +include/cvc4/options/options.h +include/cvc4/options/printer_modes.h +include/cvc4/options/quantifiers_modes.h +include/cvc4/options/set_language.h +include/cvc4/options/simplification_mode.h +include/cvc4/options/theoryof_mode.h +include/cvc4/parser/input.h +include/cvc4/parser/parser.h +include/cvc4/parser/parser_builder.h +include/cvc4/parser/parser_exception.h +include/cvc4/proof/unsat_core.h +include/cvc4/smt/command.h +include/cvc4/smt/logic_exception.h +include/cvc4/smt/smt_engine.h +include/cvc4/smt_util/lemma_channels.h +include/cvc4/smt_util/lemma_input_channel.h +include/cvc4/smt_util/lemma_output_channel.h +include/cvc4/theory/logic_info.h +include/cvc4/theory/theory_test_utils.h +include/cvc4/util/abstract_value.h +include/cvc4/util/bitvector.h +include/cvc4/util/bool.h +include/cvc4/util/cardinality.h +include/cvc4/util/channel.h +include/cvc4/util/divisible.h +include/cvc4/util/floatingpoint.h +include/cvc4/util/gmp_util.h +include/cvc4/util/hash.h +include/cvc4/util/integer.h +include/cvc4/util/integer_cln_imp.h +include/cvc4/util/integer_gmp_imp.h +include/cvc4/util/proof.h +include/cvc4/util/rational.h +include/cvc4/util/rational_cln_imp.h +include/cvc4/util/rational_gmp_imp.h +include/cvc4/util/regexp.h +include/cvc4/util/resource_manager.h +include/cvc4/util/result.h +include/cvc4/util/sexpr.h +include/cvc4/util/statistics.h +include/cvc4/util/subrange_bound.h +include/cvc4/util/tuple.h +include/cvc4/util/unsafe_interrupt_exception.h +%%JAVA%%lib/jni/libcvc4compatjni.so +%%JAVA%%lib/jni/libcvc4compatjni.so.4 +%%JAVA%%lib/jni/libcvc4compatjni.so.4.0.0 +%%JAVA%%lib/jni/libcvc4jni.so +%%JAVA%%lib/jni/libcvc4jni.so.4 +%%JAVA%%lib/jni/libcvc4jni.so.4.0.0 +lib/libcvc4.so +lib/libcvc4.so.4 +lib/libcvc4.so.4.0.0 +lib/libcvc4bindings_c_compat.so +lib/libcvc4bindings_c_compat.so.4 +lib/libcvc4bindings_c_compat.so.4.0.0 +lib/libcvc4compat.so +lib/libcvc4compat.so.4 +lib/libcvc4compat.so.4.0.0 +lib/libcvc4parser.so +lib/libcvc4parser.so.4 +lib/libcvc4parser.so.4.0.0 +man/man1/cvc4.1.gz +%%GMP%%man/man1/pcvc4.1.gz +man/man3/SmtEngine.3cvc.gz +man/man3/libcvc4.3.gz +man/man3/libcvc4compat.3.gz +man/man3/libcvc4parser.3.gz +man/man3/options.3cvc.gz +man/man5/cvc4.5.gz +%%DATADIR%%/sat.plf +%%DATADIR%%/smt.plf +%%DATADIR%%/th_arrays.plf +%%DATADIR%%/th_base.plf +%%DATADIR%%/th_bv.plf +%%DATADIR%%/th_bv_bitblast.plf +%%DATADIR%%/th_bv_rewrites.plf +%%DATADIR%%/th_int.plf +%%DATADIR%%/th_real.plf +%%JAVA%%share/java/CVC4.jar +%%JAVA%%share/java/CVC4compat.jar Property changes on: head/math/cvc4/pkg-plist ___________________________________________________________________ Added: fbsd:nokeywords ## -0,0 +1 ## +yes \ No newline at end of property Added: svn:eol-style ## -0,0 +1 ## +native \ No newline at end of property Added: svn:mime-type ## -0,0 +1 ## +text/plain \ No newline at end of property