aboutsummaryrefslogtreecommitdiff
path: root/math/open-axiom
Commit message (Collapse)AuthorAgeFilesLines
* Remove expired ports without open PRs:Rene Ladan2016-07-044-2657/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2016-07-04 security/openpgpsdk: Broken for more than 6 months 2016-07-04 security/radiusniff: Broken for more than 6 months 2016-07-04 security/pear-Auth_OpenID: Broken for more than 6 months 2016-07-04 security/sshit: Broken for more than 6 months 2016-07-04 security/ifd-slb_rf60: Broken for more than 6 months 2016-07-04 security/rainbowcrack: Broken for more than 6 months 2016-07-04 security/vlog: Broken for more than 6 months 2016-07-04 security/cryptstring: Broken for more than 6 months 2016-07-04 x11/libdnd: Broken for more than 6 months 2016-07-04 x11/xlupe: Broken for more than 6 months 2016-07-04 x11/xco: Broken for more than 6 months 2016-07-04 x11/xclick: Broken for more than 6 months 2016-07-04 devel/ocfpcsc: Broken for more than 6 months 2016-07-04 devel/dits: Broken for more than 6 months 2016-07-04 devel/ruby-cache: Broken for more than 6 months 2016-07-04 devel/rapidsvn: Broken for more than 6 months 2016-07-04 devel/svnkit: Broken for more than 6 months 2016-07-04 devel/py-EnthoughtBase: Broken for more than 6 months 2016-07-04 devel/cl-uffi: Broken for more than 6 months 2016-07-04 devel/ruby-event-loop: Broken for more than 6 months 2016-07-04 devel/libqxt: Broken for more than 6 months 2016-07-04 devel/dasm: Broken for more than 6 months 2016-07-04 devel/libopendaap: Broken for more than 6 months 2016-07-04 devel/cl-uffi-sbcl: Depends on expiring devel/cl-uffi 2016-07-04 devel/cvs2p4: Broken for more than 6 months 2016-07-04 devel/bufferpool: Broken for more than 6 months 2016-07-04 devel/ifd-test: Broken for more than 6 months 2016-07-04 devel/eric4: Broken for more than 6 months 2016-07-04 devel/uclmmbase: Broken for more than 6 months 2016-07-04 devel/obfuscatejs: Broken for more than 6 months 2016-07-04 devel/oniguruma: Broken for more than 6 months 2016-07-04 devel/libbnr: Broken for more than 6 months 2016-07-04 devel/c4: Broken for more than 6 months 2016-07-04 devel/memcheck: Broken for more than 6 months 2016-07-04 devel/liblcfg: Broken for more than 6 months 2016-07-04 devel/omake: Broken for more than 6 months 2016-07-04 devel/svndelta: Broken for more than 6 months 2016-07-04 devel/papp: Broken for more than 6 months 2016-07-04 devel/mk: Broken for more than 6 months 2016-07-04 devel/avltree: Broken for more than 6 months 2016-07-04 devel/cbind: Broken for more than 6 months 2016-07-04 devel/tclgetopts: Broken for more than 6 months 2016-07-04 devel/antlrworks: Broken for more than 6 months 2016-07-04 devel/acme: Broken for more than 6 months 2016-07-04 devel/libopensync022: Broken for more than 6 months 2016-07-04 archivers/epkg: Broken for more than 6 months 2016-07-04 print/enscriptfonts: Broken for more than 6 months 2016-07-04 print/mup: Broken for more than 6 months 2016-07-04 lang/lua-mode.el: Broken for more than 6 months 2016-07-04 lang/s9fes: Broken for more than 6 months 2016-07-04 lang/alisp: Broken for more than 6 months 2016-07-04 lang/intel2gas: Broken for more than 6 months 2016-07-04 lang/stalin: Broken for more than 6 months 2016-07-04 french/eric4: Depends on expiring devel/eric4 2016-07-04 textproc/exslt: Broken for more than 6 months 2016-07-04 textproc/xt: Broken for more than 6 months 2016-07-04 textproc/ssddiff: Broken for more than 6 months 2016-07-04 textproc/xslint: Broken for more than 6 months 2016-07-04 textproc/cbedic: Broken for more than 6 months 2016-07-04 textproc/tralics: Broken for more than 6 months 2016-07-04 textproc/docbookide.el: Broken for more than 6 months 2016-07-04 textproc/glpi-plugins-AdditionalReports: Broken for more than 6 months 2016-07-04 textproc/tdhkit: Broken for more than 6 months 2016-07-04 textproc/p5-Groonga-API: Broken for more than 6 months 2016-07-04 textproc/glpi-plugins-DataInjection: Broken for more than 6 months 2016-07-04 dns/ldnsm: Broken for more than 6 months 2016-07-04 japanese/guesswork-classic: Broken for more than 6 months 2016-07-04 japanese/texinfo: Broken for more than 6 months 2016-07-04 japanese/jyuroku: Broken for more than 6 months 2016-07-04 japanese/mtools: Broken for more than 6 months 2016-07-04 palm/pdbar: Broken for more than 6 months 2016-07-04 graphics/gplot: Broken for more than 6 months 2016-07-04 graphics/white_dune: Broken for more than 6 months 2016-07-04 graphics/whirlgif: Broken for more than 6 months 2016-07-04 graphics/libaux: Broken for more than 6 months 2016-07-04 graphics/import-pictures: Broken for more than 6 months 2016-07-04 math/xgobi: Broken for more than 6 months 2016-07-04 math/fricas: Broken for more than 6 months 2016-07-04 math/dcdflib: Broken for more than 6 months 2016-07-04 math/libneural: Broken for more than 6 months 2016-07-04 math/open-axiom: Broken for more than 6 months 2016-07-04 irc/nefarious: Broken for more than 6 months 2016-07-04 irc/slirc: Broken for more than 6 months 2016-07-04 irc/ratbox-respond: Broken for more than 6 months 2016-07-04 irc/qwebirc: Broken for more than 6 months 2016-07-04 biology/platon: Broken for more than 6 months 2016-07-04 news/slnr: Broken for more than 6 months 2016-07-04 science/jmol: Broken for more than 6 months 2016-07-04 net/nstxd: Broken for more than 6 months 2016-07-04 net/sprinkle: Broken for more than 6 months 2016-07-04 editors/ssam: Broken for more than 6 months 2016-07-04 editors/fb: Broken for more than 6 months 2016-07-04 misc/quotes: Broken for more than 6 months 2016-07-04 misc/boxquote.el: Broken for more than 6 months 2016-07-04 misc/pypanda: Broken for more than 6 months 2016-07-04 misc/cuecat: Broken for more than 6 months 2016-07-04 deskutils/displaycalibrator: Broken for more than 6 months 2016-07-04 german/eric4: Depends on expiring devel/eric4 2016-07-04 multimedia/vic: Depends on expiring devel/uclmmbase 2016-07-04 multimedia/ggrab: Broken for more than 6 months 2016-07-04 emulators/dynamips: Broken for more than 6 months 2016-07-04 emulators/dynamips-devel: Broken for more than 6 months 2016-07-04 emulators/sim6811: Broken for more than 6 months 2016-07-04 emulators/minivmac: Broken for more than 6 months 2016-07-04 cad/qcad-partslib: Broken for more than 6 months 2016-07-04 comms/dump1090_mr: Broken for more than 6 months 2016-07-04 x11-fm/asfiles: Depends on expiring x11/libdnd 2016-07-04 x11-fonts/fonts-te: Broken for more than 6 months 2016-07-04 sysutils/rsyncmanager: Broken for more than 6 months 2016-07-04 sysutils/jfbterm: Broken for more than 6 months 2016-07-04 sysutils/daedalus: Broken for more than 6 months 2016-07-04 sysutils/pcfclock: Broken for more than 6 months 2016-07-04 sysutils/vlogger: Broken for more than 6 months 2016-07-04 sysutils/bontmia: Broken for more than 6 months 2016-07-04 mail/pop3gwd: Broken for more than 6 months 2016-07-04 mail/mailtray: Broken for more than 6 months 2016-07-04 mail/pflogstats: Broken for more than 6 months 2016-07-04 mail/exact: Broken for more than 6 months 2016-07-04 mail/wmpop3: Broken for more than 6 months 2016-07-04 mail/qmail-conf: Broken for more than 6 months 2016-07-04 mail/gld: Broken for more than 6 months 2016-07-04 mail/dsbl-testers: Broken for more than 6 months 2016-07-04 mail/vqregister: Broken for more than 6 months 2016-07-04 mail/atmail: Broken for more than 6 months 2016-07-04 mail/ml: Broken for more than 6 months 2016-07-04 net-im/icb: Broken for more than 6 months 2016-07-04 net-im/cicquin: Broken for more than 6 months 2016-07-04 net-im/pidgin-manualsize: Broken for more than 6 months 2016-07-04 net-im/pidgin-rhythmbox: Broken for more than 6 months 2016-07-04 russian/eric4: Depends on expiring devel/eric4 2016-07-04 russian/fortune-bashorgru: Broken for more than 6 months 2016-07-04 www/xpi-clearfields: Broken for more than 6 months 2016-07-04 www/pecl-varnish: Broken for more than 6 months 2016-07-04 www/py-requests-oauth-hook: Broken for more than 6 months 2016-07-04 www/hudson: Broken for more than 6 months 2016-07-04 www/xpi-mldonkey: Broken for more than 6 months 2016-07-04 www/xpi-cookiesafe: Broken for more than 6 months 2016-07-04 www/trac-mastertickets: Broken for more than 6 months 2016-07-04 www/dotclear: Broken for more than 6 months 2016-07-04 www/ruby-wgettsv: Broken for more than 6 months 2016-07-04 www/wwwstat: Broken for more than 6 months 2016-07-04 www/xpi-prism: Broken for more than 6 months 2016-07-04 www/xpi-fasterfox: Broken for more than 6 months 2016-07-04 www/siteframe: Broken for more than 6 months 2016-07-04 www/py-urljr: Broken for more than 6 months 2016-07-04 www/reviewboard: Broken for more than 6 months 2016-07-04 www/xpi-tabletools: Broken for more than 6 months 2016-07-04 www/wikindx: Broken for more than 6 months 2016-07-04 www/typolight: Broken for more than 6 months 2016-07-04 www/varnish-libvmod-header: Broken for more than 6 months 2016-07-04 www/xpi-gbrain: Broken for more than 6 months 2016-07-04 www/trac-robotstxt: Broken for more than 6 months 2016-07-04 www/simplog: Broken for more than 6 months 2016-07-04 www/chtml: Broken for more than 6 months 2016-07-04 databases/postgresql_autodoc: Broken for more than 6 months 2016-07-04 databases/oracle_odbc_driver: Broken for more than 6 months 2016-07-04 databases/mysql-xql: Broken for more than 6 months 2016-07-04 databases/mysql-udf-sys: Broken for more than 6 months 2016-07-04 games/lucidlife: Broken for more than 6 months 2016-07-04 games/gma: Broken for more than 6 months 2016-07-04 games/smiley: Broken for more than 6 months 2016-07-04 games/noegnud-littlehack: Broken for more than 6 months 2016-07-04 games/sdlquake2: Broken for more than 6 months 2016-07-04 games/daimonin: Depends on expiring games/daimonin-music 2016-07-04 games/noegnud-nethack: Broken for more than 6 months 2016-07-04 games/xbomber: Broken for more than 6 months 2016-07-04 games/xwelltris: Broken for more than 6 months 2016-07-04 games/ftjava: Broken for more than 6 months 2016-07-04 games/daimonin-music: Broken for more than 6 months 2016-07-04 games/gno3dtet: Broken for more than 6 months 2016-07-04 games/qtv: Broken for more than 6 months 2016-07-04 games/xwordpy: Broken for more than 6 months 2016-07-04 games/netris: Broken for more than 6 months 2016-07-04 games/rt2-demo: Broken for more than 6 months 2016-07-04 games/noegnud-addons: Broken for more than 6 months 2016-07-04 games/noegnud-nethack-deet: Broken for more than 6 months 2016-07-04 games/live-f1: Broken for more than 6 months 2016-07-04 games/xonix: Broken for more than 6 months 2016-07-04 games/fgkicker: Broken for more than 6 months 2016-07-04 games/tank: Depends on expiring graphics/libaux 2016-07-04 games/linux-nwserver: Broken for more than 6 months 2016-07-04 games/quake2-zaero: Broken for more than 6 months 2016-07-04 games/pyching: Broken for more than 6 months 2016-07-04 games/thevalley: Broken for more than 6 months 2016-07-04 games/xroads: Broken for more than 6 months 2016-07-04 games/fxsudoku: Broken for more than 6 months 2016-07-04 games/sudoku: Broken for more than 6 months 2016-07-04 games/kmancala: Broken for more than 6 months 2016-07-04 games/plonx: Broken for more than 6 months 2016-07-04 games/wmminichess: Broken for more than 6 months 2016-07-04 games/noegnud-slashem: Broken for more than 6 months 2016-07-04 games/latrine: Broken for more than 6 months 2016-07-04 games/pysycache-themes: Broken for more than 6 months 2016-07-04 games/nibbles: Broken for more than 6 months 2016-07-04 games/hlstatsx: Broken for more than 6 months 2016-07-04 audio/streamtuner: Broken for more than 6 months 2016-07-04 audio/mangler: Broken for more than 6 months 2016-07-04 audio/hawkvoice: Broken for more than 6 months 2016-07-04 audio/alac: Broken for more than 6 months 2016-07-04 x11-wm/e-module-mpdule: Broken for more than 6 months 2016-07-04 x11-wm/e-module-tclock: Broken for more than 6 months 2016-07-04 x11-wm/musca: Broken for more than 6 months 2016-07-04 x11-wm/e-module-places: Broken for more than 6 months 2016-07-04 x11-wm/e-module-forecasts: Broken for more than 6 months 2016-07-04 x11-wm/e-module-net: Broken for more than 6 months 2016-07-04 x11-wm/e-module-penguins: Broken for more than 6 months 2016-07-04 ftp/fget: Broken for more than 6 months 2016-07-04 net-mgmt/netmond: Broken for more than 6 months 2016-07-04 net-mgmt/ipfm: Broken for more than 6 months Notes: svn path=/head/; revision=418057
* Deprecate ports broken for more than 6 monthsAntoine Brodin2016-06-031-0/+2
| | | | Notes: svn path=/head/; revision=416324
* Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.Mathieu Arnold2016-04-011-2/+2
| | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=412348
* Mark BROKENAntoine Brodin2015-12-041-0/+2
| | | | | | | With hat: portmgr Notes: svn path=/head/; revision=402909
* Cleanup plistAntoine Brodin2014-11-151-29/+3
| | | | Notes: svn path=/head/; revision=372596
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-071-1/+1
| | | | | | | | | | | | COMMENT typos and surrounding whitespace fixes. A few Makefiles where not included as they contain Latin-1 characters that break the Phabricator workflow. Category M. CR: D306 Approved by: portmgr (bapt) Notes: svn path=/head/; revision=361099
* - Convert gmake,bzip2 to USESMartin Wilke2014-05-261-3/+1
| | | | | | | Approved by: portmgr Notes: svn path=/head/; revision=355316
* - Implement staging.Stephen Montgomery-Smith2014-01-271-1/+0
| | | | Notes: svn path=/head/; revision=341316
* Update lang/sbcl to 1.1.12 [1] and math/maxima to 5.31.1; adjustBrendan Fabeny2013-10-031-1/+1
| | | | | | | | | dependent ports PR: 181545 [1] Notes: svn path=/head/; revision=329191
* Add NO_STAGE all over the place in preparation for the staging support (cat: ↵Baptiste Daroussin2013-09-201-0/+1
| | | | | | | math) Notes: svn path=/head/; revision=327746
* update lang/sbcl to 1.1.8, and adjust dependent portsBrendan Fabeny2013-06-061-1/+1
| | | | Notes: svn path=/head/; revision=320089
* update lang/sbcl to 1.1.7, and adjust dependent portsBrendan Fabeny2013-05-061-0/+1
| | | | Notes: svn path=/head/; revision=317524
* - Convert USE_ICONV=yes to USES=iconvMarcus von Appen2013-04-271-2/+1
| | | | | | | | | - Change USE_GNOME=pkgconfig|gnomehack to USES=pathfix|pkgconfig while here Reviewed by: zeising Notes: svn path=/head/; revision=316662
* - Convert USE_GETTEXT to USES (part 3)Alex Kozlov2013-04-241-1/+1
| | | | | | | Approved by: portmgr (bapt) Notes: svn path=/head/; revision=316464
* - Update to 1.4.2.Stephen Montgomery-Smith2013-04-163-175/+18
| | | | | | | Feature safe: yes Notes: svn path=/head/; revision=315866
* update lang/sbcl to 1.1.5+bugfixes, and adjust dependent portsBrendan Fabeny2013-03-031-1/+1
| | | | Notes: svn path=/head/; revision=313363
* update lang/sbcl to 1.1.4 and adjust dependent portsBrendan Fabeny2013-02-021-1/+1
| | | | Notes: svn path=/head/; revision=311445
* update lang/sbcl to 1.1.3 and adjust dependent portsBrendan Fabeny2013-01-051-6/+2
| | | | Notes: svn path=/head/; revision=309961
* update sbcl to 1.1.2 and maxima to 5.29.1; adjust dependent portsBrendan Fabeny2012-12-161-1/+1
| | | | Notes: svn path=/head/; revision=308981
* update lang/sbcl to 1.0.58 and switch to the new options format;Brendan Fabeny2012-09-131-1/+1
| | | | | | | adjust dependent ports Notes: svn path=/head/; revision=304169
* update lang/sbcl to 1.0.57, and adjust dependent portsBrendan Fabeny2012-05-221-1/+1
| | | | Notes: svn path=/head/; revision=297217
* update to 1.0.56 and adjust dependent ports; switch to the packagedBrendan Fabeny2012-04-231-1/+1
| | | | | | | | | | html documents, to avoid problems with our texinfo tools; pass prefix, dynamic space size, and lisp bootstrap via make.sh options; update flags and use them in tests; remove unused patches; simplify and sort some variables and options-handling; shorten some long lines Notes: svn path=/head/; revision=295300
* update lang/sbcl to 1.0.55, and adjust dependent portsBrendan Fabeny2012-01-241-1/+1
| | | | Notes: svn path=/head/; revision=289738
* - Fix compile error that occurs when x11-toolkits/qt33 is installed.Stephen Montgomery-Smith2011-12-151-0/+3
| | | | | | | Feature safe: yes Notes: svn path=/head/; revision=287440
* update lang/sbcl to 1.0.54, and adjust dependent ports (this allows sbcl toBrendan Fabeny2011-12-091-0/+1
| | | | | | | | | | | | | | | | be build WITH_THREADS on recent versions of FreeBSD once again) [1]; rename *.core files in sbcl and math/maxima so that they are not removed by disk-cleaning scripts [2]; make it possible to use the makesum target in sbcl WITH_SBCL; fix maxima build WITH_CMUCL, and place a default memory cap of 1GiB on amd64; reduce default output from a few targets in maxima, and defer patch cleaning to the pre-build target to make debugging easier PR: 162017 [1], 162680 [2] Approved by: pav (portmgr) Feature safe: yes Notes: svn path=/head/; revision=287114
* Update Open-Axiom to version 1.4.1.Mark Murray2011-12-023-149/+201
| | | | | | | | | | | | | Sort the PLIST. Very many improvements; most important for me is improved Lisp generation. Approved by: pav (mentor) Approved by: stephen (maintainer) Feature safe: yes Notes: svn path=/head/; revision=286788
* update lang/sbcl to 1.0.53, and adjust dependent portsBrendan Fabeny2011-11-231-1/+1
| | | | | | | | | | PR: 161444 Submitted by: olgeni (earlier version) Approved by: miwi (portmgr) Feature safe: yes Notes: svn path=/head/; revision=286273
* Maintainer: stephen@missouri.edu -> stephen@FreeBSD.orgStephen Montgomery-Smith2011-06-141-1/+1
| | | | | | | Approved by: maho (mentor) Notes: svn path=/head/; revision=275537
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
| | | | Notes: svn path=/head/; revision=271346
* Bounce PORTREVISION for gettext-related ports. Have fun, ya'll.Ade Lovett2010-05-311-0/+1
| | | | Notes: svn path=/head/; revision=255371
* - Switch SourceForge ports to the new File Release System: categories ↵Dmitry Marakasov2009-08-221-1/+1
| | | | | | | starting with M Notes: svn path=/head/; revision=240072
* - Update to 1.3.0Dmitry Marakasov2009-08-153-1203/+1324
| | | | | | | | | | - Switch to sbcl PR: 1.3.0 Submitted by: Stephen Montgomery-Smith <stephen@missouri.edu> (maintainer) Notes: svn path=/head/; revision=239576
* - Update maintainer mail addressDennis Herrmann2009-04-051-1/+1
| | | | | | | | | PR: ports/133397 Submitted by: Stephen Montgomery-Smith <stephen@missouri.edu> (maintainer) Approved by: tabthorpe (co-mentor) Notes: svn path=/head/; revision=231669
* - Update to 1.2.1Pav Lucistnik2009-03-273-9/+369
| | | | | | | | PR: ports/133077 Submitted by: Stephen Montgomery-Smith <stephen@math.missouri.edu> (maintainer) Notes: svn path=/head/; revision=231099
* OpenAxiom is an open source platform for symbolic, algebraic, and numericalDmitry Marakasov2008-10-144-0/+2305
computations. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences. WWW: http://www.open-axiom.org PR: 128034 Submitted by: Stephen Montgomery-Smith <stephen at math dot missouri dot edu> Notes: svn path=/head/; revision=221592