1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-27 00:57:50 +00:00
freebsd-ports/math/Makefile

682 lines
18 KiB
Makefile
Raw Normal View History

1999-08-30 11:53:46 +00:00
# $FreeBSD$
1994-10-06 01:16:49 +00:00
#
COMMENT = Mathematics
SUBDIR += GiNaC
2004-03-12 02:58:25 +00:00
SUBDIR += PDL
SUBDIR += R
SUBDIR += R-cran-ChangeAnomalyDetection
SUBDIR += R-cran-Formula
SUBDIR += R-cran-KFAS
SUBDIR += R-cran-LearnBayes
SUBDIR += R-cran-MCMCpack
SUBDIR += R-cran-RHmm
SUBDIR += R-cran-RSvgDevice
SUBDIR += R-cran-RcppArmadillo
SUBDIR += R-cran-SuppDists
SUBDIR += R-cran-Zelig
SUBDIR += R-cran-bdsmatrix
SUBDIR += R-cran-car
SUBDIR += R-cran-coda
SUBDIR += R-cran-deldir
SUBDIR += R-cran-dlmodeler
SUBDIR += R-cran-forecast
SUBDIR += R-cran-fracdiff
SUBDIR += R-cran-gpclib
SUBDIR += R-cran-gss
SUBDIR += R-cran-gtable
SUBDIR += R-cran-igraph
SUBDIR += R-cran-inline
SUBDIR += R-cran-labeling
SUBDIR += R-cran-memisc
SUBDIR += R-cran-minqa
SUBDIR += R-cran-mvtnorm
SUBDIR += R-cran-nnls
SUBDIR += R-cran-outliers
SUBDIR += R-cran-psych
SUBDIR += R-cran-quadprog
SUBDIR += R-cran-sandwich
SUBDIR += R-cran-sm
SUBDIR += R-cran-sp
SUBDIR += R-cran-spdep
SUBDIR += R-cran-sspir
SUBDIR += R-cran-stabledist
SUBDIR += R-cran-xts
SUBDIR += R-cran-zoo
SUBDIR += aamath
SUBDIR += abacus
SUBDIR += abakus
1999-01-26 03:44:58 +00:00
SUBDIR += abs
1998-08-30 18:30:51 +00:00
SUBDIR += add
SUBDIR += algae
SUBDIR += algotutor
SUBDIR += alt-ergo
SUBDIR += analitza
SUBDIR += ann
1997-06-03 22:43:00 +00:00
SUBDIR += apc
SUBDIR += aribas
SUBDIR += armadillo
SUBDIR += arpack
SUBDIR += arpack++
SUBDIR += arpack-ng
SUBDIR += arpack-ng-mpich
SUBDIR += asir2000
SUBDIR += aspcud
SUBDIR += asymptote
SUBDIR += atlas
SUBDIR += bamg
SUBDIR += bargraph
SUBDIR += biggles
SUBDIR += blacs
1995-10-03 11:45:15 +00:00
SUBDIR += blas
SUBDIR += blitz++
SUBDIR += blocksolve95
SUBDIR += bsdnt
1995-10-03 11:45:15 +00:00
SUBDIR += calc
SUBDIR += calcoo
1996-12-12 03:47:50 +00:00
SUBDIR += calctool
SUBDIR += cantor
SUBDIR += carve
SUBDIR += cblas
SUBDIR += ccmath
SUBDIR += cgal
SUBDIR += chaco
SUBDIR += chryzodus
SUBDIR += clarence
SUBDIR += clasp
SUBDIR += clipper
2001-02-12 14:55:43 +00:00
SUBDIR += cln
SUBDIR += cloog
SUBDIR += clp
SUBDIR += cminpack
SUBDIR += cmlib
SUBDIR += coinmp
SUBDIR += concorde
SUBDIR += convertall
SUBDIR += coq
SUBDIR += crlibm
SUBDIR += cryptominisat
SUBDIR += cvc3
1998-12-24 07:05:53 +00:00
SUBDIR += dcdflib
SUBDIR += diehard
SUBDIR += dieharder
SUBDIR += djbfft
2003-10-06 09:04:30 +00:00
SUBDIR += drgeo
SUBDIR += dynare
SUBDIR += e
SUBDIR += edenmath
SUBDIR += eigen2
2012-06-27 15:49:20 +00:00
SUBDIR += eigen3
1995-10-03 11:45:15 +00:00
SUBDIR += eispack
SUBDIR += emc2
SUBDIR += ent
SUBDIR += entropy
2011-06-22 08:22:51 +00:00
SUBDIR += ess
SUBDIR += eukleides
1998-04-26 03:25:27 +00:00
SUBDIR += eval
SUBDIR += facile
SUBDIR += fann
SUBDIR += fflas-ffpack
1999-03-19 22:24:43 +00:00
SUBDIR += fftw
SUBDIR += fftw-float
SUBDIR += fftw3
SUBDIR += fftw3-float
SUBDIR += fftw3-long
SUBDIR += fftw3-quad
SUBDIR += fityk
SUBDIR += foma
SUBDIR += fpc-fftw
SUBDIR += fpc-gmp
SUBDIR += fpc-numlib
SUBDIR += freemat
SUBDIR += fricas
2001-11-28 03:57:15 +00:00
SUBDIR += fxt
SUBDIR += galculator
SUBDIR += gambit
SUBDIR += gap
SUBDIR += gdcalc
1998-08-10 00:45:00 +00:00
SUBDIR += geg
SUBDIR += geogebra-i18n
SUBDIR += geonext
2001-06-13 21:45:12 +00:00
SUBDIR += gexpr
SUBDIR += ggobi
2010-09-21 15:30:11 +00:00
SUBDIR += giacxcas
SUBDIR += givaro
SUBDIR += gkmap
SUBDIR += glgraph
SUBDIR += glm
SUBDIR += glpk
SUBDIR += gmm++
SUBDIR += gmp
SUBDIR += gmp-ecm
The FreeBSD GNOME team proudly presents GNOME 3.14 and Cinnamon 2.2. Gnome 3.14.1 and Cinnamon 2.2.16 are supported on FreeBSD 9.3-RELEASE and up. This commit removes the old GNOME 2 desktop, bindings and some ports that can't be compiled. A few ports where updated to more recent versions to allow them to compile with this update. Apart from updating ports to newer versions GDM is more integrated with gnome-shell now, and handles several things for the GNOME desktop such as screen locking. If you want to use GNOME 3 via startx, you will have to add your own lock screen/screensaver. For example xscreensaver can be used for sessions started without GDM. Shell Extensions can be installed via https://extensions.gnome.org/ , we have ported a few that can't be installed via this way. The old gnome-utils and gnome-games ports where split up into single ports and where converted to meta-ports. gnome-terminal requires a UTF-8 locale to run, gdm handles this already, but if you use startx you need to do this yourself. Upgrade instructions: Delete the old and conflicting packages: # pkg delete clutter gnome-utils gnome-panel gnome-keyring vala-vapigen \ guile gcalctool gnome-media libgnomekbd # pkg delete gnome-screensaver gnome-applets bug-buddy evolution-exchange \ evolution-webcal gnome-system-tools seahorse-plugins gnome-control-center For package users the following lines will be enough: # pkg upgrade # pkg install gnome3 For ports users should do the following: # portmaster -a # portmaster x11/gnome3 We are currently aware of two issues. The first issue is a bug in the file monitoring code in the glib20 port. This bug causes glib programs to crash when files in a monitored directory are added or removed. Upstream is aware of the problem, but since the problem is quite complex there is no solution yet. This problem isn't restricted to BSD. The second issue is that on certain video cards totem will display a purple/pink overlay on the video. It not clear yet where the issues comes from. Major thanks goes to Gustau Perez for being a driving force behind getting GNOME 3 up to speed again. Also thanks to Antoine Brodin for running the exp-runs. This update was also made possible by: Joe Maloney Kris Moore Beeblebrox Ryan Lortie Antoine Jacoutot and everyone I missed
2014-11-19 11:49:04 +00:00
SUBDIR += gnome-calculator
SUBDIR += gnubc
1998-10-26 11:59:39 +00:00
SUBDIR += gnumeric
1995-10-03 11:45:15 +00:00
SUBDIR += gnuplot
SUBDIR += gnuplot-tex-extras
2008-06-30 20:21:14 +00:00
SUBDIR += goblin
SUBDIR += gotoblas
1999-03-19 22:24:43 +00:00
SUBDIR += grace
SUBDIR += gracetmpl
2002-05-15 13:43:44 +00:00
SUBDIR += graphthing
SUBDIR += gretl
SUBDIR += gri
SUBDIR += gringo
1999-11-26 20:59:05 +00:00
SUBDIR += grpn
SUBDIR += gsl
SUBDIR += hexcalc
SUBDIR += hfst
SUBDIR += hs-Agda
SUBDIR += hs-NumInstances
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-ieee754
SUBDIR += hs-math-functions
SUBDIR += hs-mwc-random
- Fix breakage in the DYNAMIC-enabled ports triggered by the recent devel/libffi update - Enable multithreaded build for lang/ghc (i.e. mark MAKE_JOBS_SAFE) Please note that port revision for all the Haskell ports without version changes are bumped. New ports (20): devel/hs-MonadRandom 0.1.8 devel/hs-base64-conduit 0.5.1 devel/hs-bifunctors 3.2 devel/hs-either 3.1 devel/hs-errors 1.3.1 devel/hs-generic-deriving 1.4.0 devel/hs-lens 3.8.5 devel/hs-profunctor-extras 3.3 devel/hs-profunctors 3.2 devel/hs-reflection 1.1.6 devel/hs-timezone-olson 0.1.2 devel/hs-timezone-series 0.1.2 math/hs-comonads-fd 3.0.1 math/hs-groupoids 3.0.1.1 math/hs-nats 0.1 math/hs-semigroupoid-extras 3.0.1 security/hs-cipher-rc4 0.1.2 security/hs-crypto-numbers 0.1.3 security/hs-crypto-pubkey 0.1.2 security/hs-crypto-random-api 0.2.0 Updated ports (107): archivers/hs-zip-archive 0.1.2.1 --> 0.1.3.3 archivers/hs-zlib-bindings 0.1.1.2 --> 0.1.1.3 audio/hs-libmpd 0.8.0.1 --> 0.8.0.2 benchmarks/hs-criterion 0.6.2.0 --> 0.6.2.1 converters/hs-aeson 0.6.0.2_2 --> 0.6.1.0 converters/hs-dataenc 0.14.0.4 --> 0.14.0.5 databases/hs-persistent 1.0.2.2 --> 1.1.4 databases/hs-persistent-sqlite 1.0.1 --> 1.1.2 databases/hs-persistent-template 1.0.0.2 --> 1.1.2.1 devel/hs-BNFC 2.4.2.1_1 --> 2.6.0.3 devel/hs-Boolean 0.1.1 --> 0.1.2 devel/hs-TypeCompose 0.9.7 --> 0.9.9 devel/hs-ansi-terminal 0.5.5_5 --> 0.5.5.1 devel/hs-ansi-wl-pprint 0.6.4_3 --> 0.6.6 devel/hs-basic-prelude 0.3.1.0 --> 0.3.2.0 devel/hs-checkers 0.2.9_2 --> 0.3.1 devel/hs-classy-prelude 0.4.1 --> 0.4.3 devel/hs-classy-prelude-conduit 0.4.1 --> 0.4.3 devel/hs-conduit 0.5.5 --> 0.5.6 devel/hs-configurator 0.2.0.1 --> 0.2.0.2 devel/hs-cpphs 1.15 --> 1.16 devel/hs-edit-distance 0.2.1.1 --> 0.2.1.2 devel/hs-file-embed 0.0.4.6 --> 0.0.4.7 devel/hs-filestore 0.5.0.1 --> 0.6 devel/hs-fsnotify 0.0.4 --> 0.0.6 devel/hs-ghc-paths 0.1.0.8_5 --> 0.1.0.9 devel/hs-git-annex 3.20121211 --> 3.20130124 devel/hs-hashable 1.1.2.5 --> 1.2.0.5 devel/hs-hastache 0.4.2 --> 0.5.0 devel/hs-hlint 1.8.39 --> 1.8.43 devel/hs-hoogle 4.2.14 --> 4.2.15 devel/hs-hspec 1.4.2 --> 1.4.3 devel/hs-largeword 1.0.3 --> 1.0.4 devel/hs-lifted-base 0.2 --> 0.2.0.2 devel/hs-monad-logger 0.2.3 --> 0.2.3.2 devel/hs-optparse-applicative 0.4.2 --> 0.5.2.1 devel/hs-pool-conduit 0.1.0.3 --> 0.1.1 devel/hs-project-template 0.1.0.1 --> 0.1.1 devel/hs-silently 1.2.4 --> 1.2.4.1 devel/hs-smallcheck 0.6.1_2 --> 0.6.2 devel/hs-system-fileio 0.3.10 --> 0.3.11 devel/hs-unix-compat 0.4.0.0 --> 0.4.1.0 devel/hs-unordered-containers 0.2.2.1 --> 0.2.3.0 devel/hs-vault 0.2.0.1 --> 0.2.0.4 devel/hs-void 0.5.8 --> 0.5.11 devel/hs-word8 0.0.2 --> 0.0.3 mail/hs-mime-types 0.1.0.0 --> 0.1.0.2 math/hs-categories 1.0.4 --> 1.0.5 math/hs-comonad 3.0.0.2 --> 3.0.1.1 math/hs-comonad-transformers 3.0 --> 3.0.1 math/hs-distributive 0.2.2_2 --> 0.3 math/hs-pointed 3.0.1 --> 3.0.2 math/hs-semigroupoids 3.0.0.1 --> 3.0.2 math/hs-semigroups 0.8.4.1 --> 0.9 net/hs-network-conduit 0.6.1.1 --> 0.6.2.2 net/hs-simple-sendfile 0.2.8 --> 0.2.10 print/hs-hscolour 1.20.3,1 --> 1.20.3_1,1 security/hs-certificate 1.3.3 --> 1.3.5 security/hs-cipher-aes 0.1.5 --> 0.1.7 security/hs-clientsession 0.8.0.1 --> 0.8.1 security/hs-cprng-aes 0.2.4 --> 0.3.4 security/hs-crypto-conduit 0.4.1 --> 0.4.3 security/hs-cryptocipher 0.3.6 --> 0.4.0 security/hs-cryptohash 0.7.9 --> 0.8.3 security/hs-pem 0.1.1_2 --> 0.1.2 security/hs-skein 0.1.0.10 --> 0.1.0.11 security/hs-tls 1.0.2 --> 1.1.1 security/hs-tls-extra 0.5.0 --> 0.6.1 sysutils/hs-angel 0.3.3 --> 0.3.4 textproc/hs-Diff 0.1.3_3 --> 0.2.0 textproc/hs-attoparsec 0.10.2.0_2 --> 0.10.3.0 textproc/hs-blaze-html 0.5.1.1 --> 0.5.1.3 textproc/hs-blaze-markup 0.5.1.2 --> 0.5.1.4 textproc/hs-case-insensitive 0.4.0.3 --> 0.4.0.4 textproc/hs-citeproc-hs 0.3.6 --> 0.3.7 textproc/hs-double-conversion 0.2.0.5 --> 0.2.0.6 textproc/hs-highlighting-kate 0.5.3.3 --> 0.5.3.5 textproc/hs-hs-bibutils 4.15 --> 4.16 textproc/hs-regex-pcre-builtin 0.94.4.3.8.31 --> 0.94.4.5.8.31 textproc/hs-texmath 0.6.1.1 --> 0.6.1.3 textproc/hs-yaml 0.8.1.1 --> 0.8.2 www/hs-gitit 0.10.0.2 --> 0.10.1.2 www/hs-hamlet 1.1.1.1 --> 1.1.3.1 www/hs-heist 0.8.2 --> 0.11.0 www/hs-hjsmin 0.1.3 --> 0.1.4 www/hs-http-conduit 1.8.4.3 --> 1.8.7 www/hs-http-date 0.0.3 --> 0.0.4 www/hs-http-reverse-proxy 0.1.0.6 --> 0.1.1.1 www/hs-shakespeare-js 1.1.0 --> 1.1.1 www/hs-snap 0.9.2.2 --> 0.11.0 www/hs-wai-app-static 1.3.0.4 --> 1.3.1_1 www/hs-wai-extra 1.3.0.4 --> 1.3.2 www/hs-warp 1.3.5 --> 1.3.7.1 www/hs-xss-sanitize 0.3.2_2 --> 0.3.3 www/hs-yesod 1.1.4.1 --> 1.1.7.2 www/hs-yesod-auth 1.1.2 --> 1.1.3 www/hs-yesod-core 1.1.6.1 --> 1.1.7.1 www/hs-yesod-default 1.1.2 --> 1.1.3 www/hs-yesod-form 1.2.0.1 --> 1.2.0.2 www/hs-yesod-persistent 1.1.0 --> 1.1.0.1 www/hs-yesod-platform 1.1.5 --> 1.1.7.2 www/hs-yesod-static 1.1.1.1 --> 1.1.1.2 www/hs-yesod-test 0.3.1.1 --> 0.3.3 x11-wm/hs-xmonad 0.10_4 --> 0.11 x11-wm/hs-xmonad-contrib 0.10_4 --> 0.11 x11/hs-X11 1.5.0.1_3 --> 1.6.0.2 x11/hs-xmobar 0.14_3 --> 0.16 Obtained from: FreeBSD Haskell
2013-02-05 22:26:31 +00:00
SUBDIR += hs-nats
SUBDIR += hs-pointed
SUBDIR += hs-probability
SUBDIR += hs-semigroupoids
SUBDIR += hs-semigroups
SUBDIR += hs-statistics
SUBDIR += hs-vector-space
SUBDIR += igraph
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 += kbruch
SUBDIR += kcalc
SUBDIR += kig
SUBDIR += kktdirect
SUBDIR += kmplot
SUBDIR += labplot
SUBDIR += lambda
1996-06-07 15:56:19 +00:00
SUBDIR += lapack
SUBDIR += lapack++
SUBDIR += lapack95
SUBDIR += lapacke
SUBDIR += laspack
SUBDIR += ldouble
SUBDIR += levmar
SUBDIR += libR
SUBDIR += libRmath
SUBDIR += libflame
SUBDIR += libjbigi
SUBDIR += liblbfgs
SUBDIR += libmissing
SUBDIR += libneural
SUBDIR += libocas
SUBDIR += liborigin
SUBDIR += libproj4
SUBDIR += libqalculate
SUBDIR += libranlip
SUBDIR += librsb
SUBDIR += libtommath
SUBDIR += libtsnnls
1995-10-03 11:45:15 +00:00
SUBDIR += linpack
SUBDIR += lll_spect
SUBDIR += lp_solve
SUBDIR += lrng
SUBDIR += ltl
SUBDIR += ltl2ba
SUBDIR += lybniz
SUBDIR += mate-calc
SUBDIR += mathomatic
SUBDIR += matio
SUBDIR += matlab-installer
SUBDIR += maxima
SUBDIR += mbasecalc
1998-04-26 03:55:41 +00:00
SUBDIR += metis
SUBDIR += metis-edf
SUBDIR += metis4
SUBDIR += mingw32-libgmp
SUBDIR += minisat
SUBDIR += miracl
SUBDIR += moo
SUBDIR += mosesdecoder
SUBDIR += mpc
SUBDIR += mpexpr
SUBDIR += mpfr
SUBDIR += mpir
SUBDIR += msieve
SUBDIR += mtl
SUBDIR += mtrxmath
SUBDIR += mumps
SUBDIR += mumps-mpich
SUBDIR += muparser
SUBDIR += naturalmath
SUBDIR += nauty
SUBDIR += ndiff
2001-12-06 15:48:26 +00:00
SUBDIR += newmat
1999-09-09 00:54:05 +00:00
SUBDIR += ngraph
SUBDIR += nlopt
2000-07-10 03:44:11 +00:00
SUBDIR += ntl
SUBDIR += numdiff
SUBDIR += nyh-hoc
SUBDIR += ocaml-ocamlgraph
SUBDIR += ocaml-zarith
SUBDIR += ocamlgsl
1995-10-03 11:45:15 +00:00
SUBDIR += octave
SUBDIR += octave-forge
SUBDIR += octave-forge-actuarial
SUBDIR += octave-forge-ad
SUBDIR += octave-forge-audio
SUBDIR += octave-forge-base
SUBDIR += octave-forge-bim
SUBDIR += octave-forge-bioinfo
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
2010-08-29 15:35:42 +00:00
SUBDIR += octave-forge-dataframe
SUBDIR += octave-forge-dicom
SUBDIR += octave-forge-divand
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-ocs
SUBDIR += octave-forge-oct2mat
SUBDIR += octave-forge-octcdf
SUBDIR += octave-forge-octclip
SUBDIR += octave-forge-octgpr
SUBDIR += octave-forge-octproj
SUBDIR += octave-forge-odebvp
SUBDIR += octave-forge-odepkg
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-pt_br
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-specfun
SUBDIR += octave-forge-special-matrix
SUBDIR += octave-forge-spline-gcvspl
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-tsa
SUBDIR += octave-forge-video
SUBDIR += octave-forge-xraylib
SUBDIR += octave-forge-zenity
SUBDIR += ogdf
1995-10-03 11:45:15 +00:00
SUBDIR += oleo
SUBDIR += open-axiom
SUBDIR += openblas
SUBDIR += openfst
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-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-Polygon
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-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-Vec
SUBDIR += p5-Math-VecStat
SUBDIR += p5-Math-VectorReal
SUBDIR += p5-NetCDF
SUBDIR += p5-Number-Compare
SUBDIR += p5-Number-Fraction
SUBDIR += p5-Number-Uncertainty
SUBDIR += p5-Number-WithError
SUBDIR += p5-Number-WithError-LaTeX
SUBDIR += p5-Parse-Range
SUBDIR += p5-Roman
1998-12-24 06:47:44 +00:00
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
1997-06-21 20:51:44 +00:00
SUBDIR += pari
1999-06-09 01:52:16 +00:00
SUBDIR += parmetis
SUBDIR += parmgridgen
SUBDIR += pdal
SUBDIR += pear-Math_BigInteger
SUBDIR += pear-Math_Combinatorics
SUBDIR += pecl-big_int
SUBDIR += pecl-bitset
SUBDIR += pecl-stats
SUBDIR += pecl-trader
2004-07-19 09:13:09 +00:00
SUBDIR += php5-bcmath
2004-07-19 09:14:47 +00:00
SUBDIR += php5-gmp
SUBDIR += php55-bcmath
SUBDIR += php55-gmp
2014-09-04 14:24:25 +00:00
SUBDIR += php56-bcmath
SUBDIR += php56-gmp
SUBDIR += physcalc
SUBDIR += picosat
SUBDIR += plman
SUBDIR += ploticus
SUBDIR += ploticus-nox11
1997-10-06 08:22:03 +00:00
SUBDIR += plplot
SUBDIR += plplot-ada
SUBDIR += primegen
SUBDIR += prng
SUBDIR += proofgeneral
SUBDIR += pspp
SUBDIR += pure-mpfr
SUBDIR += pure-rational
SUBDIR += py-altgraph
SUBDIR += py-apgl
SUBDIR += py-basemap
SUBDIR += py-basemap-data
SUBDIR += py-bitvector
SUBDIR += py-bottleneck
SUBDIR += py-cryptominisat
SUBDIR += py-fastcluster
SUBDIR += py-ffc
SUBDIR += py-fiat
SUBDIR += py-fpconst
SUBDIR += py-gato
SUBDIR += py-gmpy
SUBDIR += py-gnuplot
SUBDIR += py-graphillion
SUBDIR += py-gsl
SUBDIR += py-igraph
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-patsy
SUBDIR += py-plastex
SUBDIR += py-probstat
SUBDIR += py-pybloom
SUBDIR += py-pycosat
SUBDIR += py-pyfst
SUBDIR += py-pymc
SUBDIR += py-roman
1999-07-30 14:17:24 +00:00
SUBDIR += py-scientific
SUBDIR += py-statsmodels
SUBDIR += py-svgmath
SUBDIR += py-symeig
SUBDIR += py-sympy
SUBDIR += py-theano
SUBDIR += py-ufl
SUBDIR += py-viper
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 += reed-solomon
SUBDIR += rkward-kde4
SUBDIR += rngstreams
SUBDIR += rocs
SUBDIR += rpcalc
SUBDIR += rpy
2010-06-27 03:02:25 +00:00
SUBDIR += rpy2
SUBDIR += ruby-algebra
SUBDIR += rubygem-expression_parser
SUBDIR += rubygem-fftw3
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 += scalapack
SUBDIR += scilab
SUBDIR += scilab-toolbox-sivp
SUBDIR += scilab-toolbox-swt
SUBDIR += sdpa
SUBDIR += sdpara
SUBDIR += sfft
SUBDIR += sfst
SUBDIR += simd-viterbi
SUBDIR += slatec
SUBDIR += slgrace
1999-04-03 01:05:11 +00:00
SUBDIR += snns
SUBDIR += solitaire
2001-06-01 03:47:52 +00:00
SUBDIR += spar
SUBDIR += spblas
SUBDIR += speedcrunch
SUBDIR += spooles
2003-05-05 01:38:17 +00:00
SUBDIR += spooles-mpich
SUBDIR += stp
SUBDIR += suitesparse
1998-08-09 23:55:27 +00:00
SUBDIR += superlu
SUBDIR += superlu_mt
SUBDIR += surf
SUBDIR += tablix
SUBDIR += taucs
SUBDIR += testu01
SUBDIR += tetgen
SUBDIR += timbl
SUBDIR += tomsfastmath
1999-11-01 02:27:31 +00:00
SUBDIR += topaz
SUBDIR += triangle
SUBDIR += trlan
SUBDIR += truthtable
SUBDIR += tvmet
SUBDIR += ufc
SUBDIR += ump
SUBDIR += units
SUBDIR += unuran
SUBDIR += vowpal_wabbit
SUBDIR += vtk5
SUBDIR += vtk5-data
SUBDIR += vtk6
SUBDIR += wcalc
SUBDIR += wfmath
Add two new math ports: why3 and why3-gpl The primary motivation for adding why3 is to support the upcoming SPARK 2014 port. However, SPARK 2014 requires a custom version. In time the customizations should make it upstream, but currently the stock version cannot be used to build SPARK. They are also licensed differently (LGPL2 for stock, GPLv3 for SPARK version). Rather than force people that find why3 useful on their own to accept a custom version, both are offered although they currently conflict. Why3 has optional dependencies on coq, isabelle, and frama-c, and all three have issus: * coq rebuilds its libraries in $LOCALBASE, could be issue with coq * isabella currently has a broken dependency (sjsml) and only for i386 when it's not. Updating to 2013-2 version failed, as did trying to build it with polyml instead of sjsml * frama-c is fine, but the plugin code in why3 is still experimental and upstream recommends that it not be used. ============================================================== Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions. Why3 comes with a standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user can write WhyML programs directly and get correct-by- construction OCaml programs through an automated extraction mechanism. WhyML is also used as an intermediate language for the verification of C, Java, or Ada programs. Why3 is a complete reimplementation of the former Why platform. Among the new features are: numerous extensions to the input language, a new architecture for calling external provers, and a well-designed API, allowing to use Why3 as a software library. An important emphasis is put on modularity and genericity, giving the end user a possibility to easily reuse Why3 formalizations or to add support for a new external prover if wanted.
2014-06-04 19:22:33 +00:00
SUBDIR += why3
SUBDIR += why3-gpl
2000-09-07 05:19:33 +00:00
SUBDIR += wingz3
SUBDIR += wxMaxima
SUBDIR += x12arima
SUBDIR += xblas
SUBDIR += xgobi
1995-10-03 11:45:15 +00:00
SUBDIR += xgraph
SUBDIR += xlapack
SUBDIR += xldlas
1997-03-06 01:23:46 +00:00
SUBDIR += xplot
SUBDIR += xppaut
1995-10-03 11:45:15 +00:00
SUBDIR += xspread
SUBDIR += yacas
1994-10-06 01:16:49 +00:00
.include <bsd.port.subdir.mk>