aboutsummaryrefslogtreecommitdiff
path: root/math
Commit message (Collapse)AuthorAgeFilesLines
* - Update to 1.2.1.Stephen Montgomery-Smith2014-06-083-52/+4
| | | | Notes: svn path=/head/; revision=357069
* Mass-update maintainer from fbsd-ports@opsec.eu -> pi@FreeBSD.orgKurt Jaeger2014-06-081-1/+1
| | | | Notes: svn path=/head/; revision=357068
* Stagify.Vanilla I. Shu2014-06-082-6/+25
| | | | Notes: svn path=/head/; revision=357044
* Stagify, add USE_GCC to fix broken on amd64.Vanilla I. Shu2014-06-081-1/+1
| | | | Notes: svn path=/head/; revision=357043
* Stagify.Vanilla I. Shu2014-06-083-11/+42
| | | | Notes: svn path=/head/; revision=357042
* Stagify.Vanilla I. Shu2014-06-081-4/+3
| | | | Notes: svn path=/head/; revision=357040
* Stagify.Vanilla I. Shu2014-06-081-5/+3
| | | | Notes: svn path=/head/; revision=357038
* Remove indefinite articles from COMMENT where I'm maintainer.Jimmy Olgeni2014-06-081-1/+1
| | | | Notes: svn path=/head/; revision=357013
* math/why3-gpl: Increase distinction between this and math/wny3John Marino2014-06-082-23/+4
| | | | | | | | | | | | The why3 project is worried that users will be confused between this package and a "vanilla" why3, which was simultaneously added with this one. They prefer that this port be completely renamed. While I ponder that, I can at least improve the situation by fixing the descriptions to lessen the chance of confusion between the ports. Notes: svn path=/head/; revision=357001
* UnbreakAntoine Brodin2014-06-081-5/+4
| | | | Notes: svn path=/head/; revision=356988
* - Add staging supportPawel Pekala2014-06-072-13/+12
| | | | | | | | | | - Switch to PLIST_FILES, PORTDOCS from pkg-plist - Convert to new options framework - Remove leading article from COMMENT - Fix shebang in script, bump PORTREVISION Notes: svn path=/head/; revision=356912
* * Better GUI support [1]Maho Nakata2014-06-072-2/+5
| | | | | | | | | | * fix pkg-plist [2] Submitted by: Jason Bacon <jwbacon@tds.net> [1] swills@ [2] Notes: svn path=/head/; revision=356894
* - Add staging supportPawel Pekala2014-06-061-13/+8
| | | | | | | | - Unmute install commands - Use options helper Notes: svn path=/head/; revision=356864
* Add staging support, allow it as normal userPawel Pekala2014-06-062-5/+4
| | | | Notes: svn path=/head/; revision=356860
* Add staging supportPawel Pekala2014-06-061-9/+5
| | | | Notes: svn path=/head/; revision=356851
* - Doesn't actually build with OpenJDK 1.7, so mark it as 1.6 onlySteve Wills2014-06-061-1/+1
| | | | | | | With hat: portmgr@ Notes: svn path=/head/; revision=356826
* - Fix build with OpenJDK 1.7Steve Wills2014-06-061-0/+2
| | | | | | | With hat: portmgr Notes: svn path=/head/; revision=356823
* - Use /usr/bin/unzip for zip files extraction (part 2)Alex Kozlov2014-06-062-4/+4
| | | | | | | | | | | Remove most of USES=zip:infozip PR: ports/188419 Approved by: portmgr (bapt) Exp-run: antoine Notes: svn path=/head/; revision=356803
* Update to 3.8.1Maho Nakata2014-06-052-4/+3
| | | | Notes: svn path=/head/; revision=356718
* Miscellaneous functions and classes to facilitate programming.Martin Wilke2014-06-054-0/+28
| | | | | | | | | | | | | Misc requires NArray, a multi-dimensional numeric array class for ruby. Author: Takeshi Horinouchi <horinout _at_ ees.hokudai.ac.jp> WWW: http://ruby.gfd-dennou.org/products/numru-misc/ PR: ports/190201 Submitted by: Shin-ya MURAKAMI <murashin@gfd-dennou.org> Notes: svn path=/head/; revision=356622
* A class of units of physical quantities for Ruby.Martin Wilke2014-06-054-0/+32
| | | | | | | | | | | | | | | | | | | This class covers most functionality of UNIDATA's UDUNITS Library, however, with a more sophisticated handling of string expressions. UDUNITS always decomposes units into the four base units and discards the original string expressions. Therefore, 'hPa' always becomes '100 kg.m-1.sec-1', and 'day' always becomes '86400 sec'. On the other hand, this library tries to keep the original expressions as much as possible by default, while allowing partial to complete decompositions if needed. WWW: http://www.gfd-dennou.org/arch/ruby/products/numru-units/ PR: ports/190202 Submitted by: Shin-ya MURAKAMI <murashin@gfd-dennou.org> Notes: svn path=/head/; revision=356619
* Add two new math ports: why3 and why3-gplJohn Marino2014-06-0413-0/+599
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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. Notes: svn path=/head/; revision=356538
* - Use new LIB_DEPENDS syntaxDmitry Marakasov2014-06-031-2/+2
| | | | | | | Approved by: portmgr blanket Notes: svn path=/head/; revision=356354
* - Update to 0.29Sunpoet Po-Chuan Hsieh2014-06-032-3/+3
| | | | | | | Changes: http://search.cpan.org/dist/Math-GSL/Changes Notes: svn path=/head/; revision=356340
* math/alt-ergo: Update version 0.94 => 0.95.2 and support stageJohn Marino2014-06-023-30/+25
| | | | Notes: svn path=/head/; revision=356261
* Add new Ocaml port: math/ocaml-zarithJohn Marino2014-06-026-0/+95
| | | | | | | | | | | | | | | | This is a new requirement for the latest veersion of alt-ergo. ================================================================ The Zarith library implements arithmetic and logical operations over arbitrary precision numbers. It uses GMP to efficiently implement arithmetic over large numbers. Small integers are represented as Caml unboxed integers for speed and space economy. WWW: http://forge.ocamlcore.org/projects/zarith Notes: svn path=/head/; revision=356255
* Support stagingCarlo Strub2014-06-021-4/+3
| | | | | | | | PR: ports/190442 Submitted by: phd_kimberlite@yahoo.co.jp (maintainer) Notes: svn path=/head/; revision=356243
* Maintainer can no longer maintain these portsAntoine Brodin2014-06-021-1/+1
| | | | | | | Pass maintainership of urlview to Zsolt Udvari Notes: svn path=/head/; revision=356241
* - Update to 1.3.1.Stephen Montgomery-Smith2014-06-022-5/+3
| | | | Notes: svn path=/head/; revision=356227
* math/jama: use equivalent UNZIP_CMD instead of EXTRACT_CMDJohn Marino2014-06-011-2/+2
| | | | Notes: svn path=/head/; revision=356096
* - Fix various distinfo errorsAlex Kozlov2014-05-311-1/+0
| | | | | | | | | | | - Remove unused USE_* knobs - Convert USE_TWISTED_RUN to USES - Remove empty lines after .include <bsd.port.mk> Approved by: portmgr (antoine) Notes: svn path=/head/; revision=355995
* Stage support.Tim Bishop2014-05-311-2/+2
| | | | | | | | PR: ports/189690 Submitted by: Robert Jenssen <robertjenssen@ozemail.com.au> (maintainer) Notes: svn path=/head/; revision=355961
* - Stage support [1]Wen Heping2014-05-313-199/+7
| | | | | | | | | | | - Update to 2.4.0 [1] - Reset maintainer to ports@ PR: 190365 [1] Submitted by: Muhammad Moinur Rahman <5u623l20@gmail.com> [1] Notes: svn path=/head/; revision=355936
* - Stage support [1]Wen Heping2014-05-312-22/+3
| | | | | | | | | | - Reset maintainer to ports@ PR: 190358 [1] Submitted by: Muhammad Moinur Rahman <5u623l20@gmail.com> [1] Notes: svn path=/head/; revision=355935
* - Replace python-2.7.5 with version 2.7.6. Thus the port should now buildStephen Montgomery-Smith2014-05-3113-137/+1105
| | | | | | | | | on FreeBSD-10 and higher. - Use the patches from the lang/python27 port. - Bump portrevision. Notes: svn path=/head/; revision=355933
* - Add license.Stephen Montgomery-Smith2014-05-301-0/+2
| | | | Notes: svn path=/head/; revision=355922
* - Convert USE_BZIP2 to USESDmitry Marakasov2014-05-301-3/+4
| | | | | | | | - Clarify LICENSE - Switch to USES=libtool Notes: svn path=/head/; revision=355893
* Update math/R-cran-gss to 2.1-0.David Naylor2014-05-302-4/+3
| | | | | | | | | | | | ChangeLog: * R: i) Tuned Newton iteration algorithms in ngreg and ngreg.proj. ii) Bug fixes in routines involving univariate minimization via nlm0. iii) Minor changes in makedata.x's. Notes: svn path=/head/; revision=355878
* Stage support.Kevin Lo2014-05-302-12/+13
| | | | Notes: svn path=/head/; revision=355857
* Update to version 1.8.1.Dmitry Sivachenko2014-05-302-9/+8
| | | | Notes: svn path=/head/; revision=355841
* math/spooles*: specify post-extraction with ${TAR}John Marino2014-05-291-1/+1
| | | | | | | | | | | | | | | It's possible that EXTRACT_CMD won't be predefined in the near future in order to support distfiles in multiple formats. We know the post- extraction tool needs to be tar, so let's specify it directly. It may be worth looking at the post-extract target here and seeing if it's really needed. Often one can just change the WRKSRC value to avoid a custom post-extract taraget. Approved by: infrastructure improvements blanket Notes: svn path=/head/; revision=355754
* - Update to 2.32 [1]Nicola Vitale2014-05-287-88/+235
| | | | | | | | | | | | | | | | | | | | | | | | - Remove leading, undefined article from COMMENT - Add graphics/ImageMagick to RUN_DEPENDS - Enable garbage collection via devel/boehm-gc-threaded [1] - Sort variables - Use autotools [1] - Use texlive, and don't install files already installed by it [1] - Use options helpers - Add option OFFSCREEN (default off) to enable offscreen rendering using OSMesa library - Add support for stage dir [1] - Strip binary file asy - Add files/patch-configure.ac and files/patch-settings.cc - Remove Author field, and use a single space after WWW in pkg-descr [1] Release Notes: http://sourceforge.net/projects/asymptote/files/2.32/ PR: ports/190196 [1] Submitted by: Shin-ya Murakami <murashin@gfd-dennou.org> Notes: svn path=/head/; revision=355661
* Update to GAP 4.7.5Johan van Selst2014-05-282-12/+13
| | | | Notes: svn path=/head/; revision=355597
* Remove expired ports:Rene Ladan2014-05-275-202/+0
| | | | | | | | 2014-05-27 math/py-graphtool: Broken for more than 6 months 2014-05-27 devel/clint: Broken for more than 6 months Notes: svn path=/head/; revision=355563
* jmusic, jeuclid: USES+= zipJohn Marino2014-05-271-0/+1
| | | | | | | Approved by: portmgr (mat) Notes: svn path=/head/; revision=355556
* - StagifyDmitry Marakasov2014-05-272-5/+6
| | | | | | | | | - Add missing USES=libtool Approved by: portmgr blanket Notes: svn path=/head/; revision=355548
* Do not overwrite USESBaptiste Daroussin2014-05-271-1/+1
| | | | Notes: svn path=/head/; revision=355539
* - Switch to USES=libtool, drop .la filesDmitry Marakasov2014-05-272-3/+7
| | | | | | | - Strip libraries Notes: svn path=/head/; revision=355517
* - Update to 1.0.4.Stephen Montgomery-Smith2014-05-262-3/+3
| | | | Notes: svn path=/head/; revision=355456
* - Update to 1.0.5.Stephen Montgomery-Smith2014-05-263-15/+3
| | | | Notes: svn path=/head/; revision=355418
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-22 19:30:55 +0000