non port: math/stp/Makefile |
Number of commits found: 56 |
Tuesday, 13 Feb 2024
|
14:44 Dima Panov (fluffy)
devel/boost: bump consumers after library update
db61653 |
Monday, 11 Dec 2023
|
17:42 Brooks Davis (brooks)
math/stp: remove nonsensical sbrk use
This code called sbrk(4000000) and beyond error checking ignored
the result meaning the 4MB of address space allocated could
never be used without another call to sbrk and reference to
INITIAL_MEMORY_PREALLOCATION_SIZE, but nothing in the repo does
either.
Submitted upstream as https://github.com/stp/stp/pull/474
Approved by: arrowd (maintainer)
Sponsored by: DARPA
Differential Revision: https://reviews.freebsd.org/D42978
af6504f |
Wednesday, 27 Sep 2023
|
14:36 Dima Panov (fluffy)
devel/boost*: bump all consumers after 1.83.0
21d8008 |
Thursday, 27 Apr 2023
|
18:25 Dima Panov (fluffy)
*/*: bump all direct Boost cunsumers
3e45e8e |
Monday, 16 Jan 2023
|
19:32 Dima Panov (fluffy)
*/*: bump libboost*.so libraries consumert after Boost upgrade
e1287d0 |
Wednesday, 7 Sep 2022
|
21:10 Stefan Eßer (se)
Add WWW entries to port Makefiles
It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.
Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.
There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
This commit implements such a proposal and moves one of the WWW: entries
of each pkg-descr file into the respective port's Makefile. A heuristic
attempts to identify the most relevant URL in case there is more than
one WWW: entry in some pkg-descr file. URLs that are not moved into the
Makefile are prefixed with "See also:" instead of "WWW:" in the pkg-descr
files in order to preserve them.
There are 1256 ports that had no WWW: entries in pkg-descr files. These
ports will not be touched in this commit.
The portlint port has been adjusted to expect a WWW entry in each port
Makefile, and to flag any remaining "WWW:" lines in pkg-descr files as
deprecated.
Approved by: portmgr (tcberner)
b7f0544 |
Friday, 12 Aug 2022
|
14:46 Dima Panov (fluffy)
*/*: bump all consumers after recent boost upgrade
4cf39de |
Wednesday, 20 Jul 2022
|
14:22 Tobias C. Berner (tcberner)
math: remove 'Created by' lines
A big Thank You to the original contributors of these ports:
* Aaron Dalton <aaron@FreeBSD.org>
* Aaron Dalton <aaron@daltons.ca>
* Alessando Sagratini <ale_sagra@hotmail.com>
* Alex Dupre <ale@FreeBSD.org>
* Alexey Dokuchaev <danfe@FreeBSD.org>
* Amarendra Godbole <amarendra.godbole@gmail.com>
* Anders Nordby <anders@FreeBSD.org>
* Andreas Fehlner (fehlner@gmx.de)
* Andrew L. Neporada <andrew@chg.ru>
* Andrey <gugu@zoo.rambler.ru>
* Andrey Zakhvatov
* Anton Berezin <tobez@FreeBSD.org>
* Anton Berezin <tobez@plab.ku.dk>
* Anton Berezin <tobez@tobez.org>
* Anton Shterenlikht
* Anton Shterenlikht <mexas@bris.ac.uk>
* Bob Eager <bob@eager.cx>
* Charlie Kester <corky1951@comcast.net>
* Cheng-Lung Sung <clsung@FreeBSD.org>
* Cheng-Lung Sung <clsung@dragon2.net>
* Chris D. Faulhaber <jedgar@fxp.org>
* Christopher J. Ruwe
* Christopher Key <cjk32@cam.ac.uk>
* Chuck Hein <geekdude@pacbell.net>
* Cyrille Szymanski <cnszym@gmail.com>
* Dan Rue <drue@therub.org>
* Danilo Egea Gondolfo <danilo@FreeBSD.org>
* David Naylor <dbn@FreeBSD.org>
* David Naylor <naylor.b.david@gmail.com>
* Dereckson <dereckson@gmail.com>
* Devin Teske <dteske@FreeBSD.org>
* Dmitry Sivachenko <demon@FreeBSD.org>
* Dmitry Sivachenko <mitya@yandex-team.ru>
* Don Croyle <croyle@gelemna.org>
* Douglas K. Rand (rand@meridian-enviro.com)
* Dylan Simon <dylan@dylex.net>
* Edwin Groothuis <edwin@mavetju.org>
* Eijiro Shibusawa <ej-sib@ice.uec.ac.jp>
* Emanuel Haupt <ehaupt@FreeBSD.org>
* Eoin Lawless (eoin@maths.tcd.ie)
* Eric A. Griff <eagriff@global2000.net>
* Eric van Gyzen <vangyzen@stat.duke.edu>
* Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>
* Fernan Aguero <fernan@iib.unsam.edu.ar>
* Foxfair Hu <foxfair@FreeBSD.org>
* Frederic Han <han@math.jussieu.fr>
* Gabor Kovesdan <gabor@FreeBSD.org>
* Gea-Suan Lin <gslin@gslin.org>
* George Reid <greid@ukug.uk.freebsd.org>
* Giuseppe Pilichi aka Jacula Modyun <jacula@gmail.com>
* Greg Larkin <glarkin@FreeBSD.org>
* Guangyuan Yang <ygy@FreeBSD.org>
* Gustau Perez i Querol <gustau.perez@gmail.com>
* Heinz Tschabitscher
* Horia Racoviceanu <horia@racoviceanu.com>
* Hye-Shik Chang <perky@fallin.lv>
* Iblis Lin <iblis@hs.ntnu.edu.tw>
* Issei Suzuki <issei@jp.FreeBSD.ORG>
* Janni
* Jason Harris <jharris@widomaker.com>
* Javad Kouhi <javad.kouhi@gmail.com>
* Jean-Yves Lefort <jylefort@FreeBSD.org>
* Jin-Shan Tseng <tjs@cdpa.nsysu.edu.tw>
* Joe Marcus Clarke <marcus@FreeBSD.org>
* Johannes Dieterich <dieterich@ogolem.org>
* Johannes M Dieterich <jmd@FreeBSD.org>
* Johannes Meixner <johannes@perceivon.net>
* John Marino <marino@FreeBSD.org>
* Joseph Koshy <jkoshy@FreeBSD.org>
* Ju Pengfei <ju.pengfei@gmail.com>
* Jukka A. Ukkonen <jau@iki.fi>
* Kay Lehmann <kay_lehmann@web.de>
* Kevin Lo <kevlo@FreeBSD.org>
* Klaus T. Aehlig <aehlig@linta.de>
* Kubilay Kocak <koobs@FreeBSD.org>
* Kurt Jaeger <fbsd-ports@opsec.eu>
* Lars Engels <lme@FreeBSD.org>
* Lars Koeller <Lars.Koeller@Uni-Bielefeld.DE>
* Lars Koeller <Lars.Koeller@Uni-Bielefeld.de>
* Li-Wen Hsu <lwhsu@FreeBSD.org>
* Li-Wen Hsu <lwhsu@lwhsu.org>
* M. L. Dodson, <bdodson@scms.utmb.edu>
* Maho Nakata <maho@FreeBSD.org>
* Mario S F Ferreira <lioux@FreeBSD.org>
* Mario S F Ferreira <lioux@linf.unb.br> et al.
* Mario Sergio Fujikawa Ferreira <lioux@FreeBSD.org>
* Mark Felder <feld@FreeBSD.org>
* Mark R V Murray <markm@FreeBSD.org>
* Martin Matuska <mm@FreeBSD.org>
* Matthew Seaman <matthew@FreeBSD.org>
* Maurice Castro <maurice@serc.rmit.edu.au>
* Maxim Sobolev <sobomax@FreeBSD.org>
* Maxime Henrion <mux@FreeBSD.org>
* Michael Haro <mharo@FreeBSD.org>
* Michael Johnson <ahze@FreeBSD.org>
* Michael Johnson <ahze@ahze.net>
* Michael Neumann <mneumann@ntecs.de>
* Muhammad Moinur Rahmanh <5u623l20@gmail.com>
* NAKATA Maho <chat95@mbox.kyoto-inet.or.jp>
* NAKATA, Maho <maho@FreeBSD.org>
* Nakata Maho <maho@FreeBSD.org>
* Nicola Vitale <nivit@email.it>
* Olivier Duchateau
* Pedro F. Giffuni
* Pedro F. Giffuni <giffunip@asme.org>
* Pedro Giffuni
* Pedro Giffuni <giffunip@asme.org>
* Pedro Giffuni <pfg@FreeBSD.org>
* Peter Pentchev <roam@FreeBSD.org>
* Philip Paeps <philip@FreeBSD.org>
* Pierre-Paul Lavoie <ppl@nbnet.nb.ca>
* Pietro Cerutti <gahr@FreeBSD.org>
* Piotr Rybicki <meritus@innervision.pl>
* Po-Chuan Hsieh <sunpoet@FreeBSD.org>
* Rainer Hurling <rhurlin@gwdg.de>
* Robert Jenssen
* Robin Schilham
* Rod Taylor <ports@rbt.ca>
* Roman Neuhauser <neuhauser@sigpipe.cz>
* Sander Vesik <sander@haldjas.folklore.ee>
* Scott Flatman <sf@dsinw.com>
* Seamus Venasse <svenasse@polaris.ca>
* Sergey A. Osokin <osa@FreeBSD.org>
* Sergey Akifyev <asa@agava.com>
* Sergey Akifyev <asa@gascom.ru>
* Sergey Skvortsov <skv@FreeBSD.org>
* Sergey Skvortsov <skv@protey.ru>
* Shell Hung <shell@shellhung.org>
* Shin-ya MURAKAMI <murashin@gfd-dennou.org>
* Stas Timokhin <devel@stasyan.com>
* Stefan A. Deutscher (sad@mailaps.org)
* Stefan Esser <se@StefanEsser.FreeBSD.org>
* Stephen Montgomery-Smith <stephen@FreeBSD.edu>
* Stephen Montgomery-Smith <stephen@FreeBSD.org>
* Stephen Montgomery-Smith <stephen@math.missouri.edu>
* Stephen Montgomery-Smith <stephen@missouri.edu>
* Steve Wills <steve@mouf.net>
* Steve Wills <swills@FreeBSD.org>
* Steven Kreuzer <skreuzer@FreeBSD.org>
* Steven Kreuzer <skreuzer@f2o.org>
* Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org>
* TAKATSU Tomonari <tota@FreeBSD.org>
* Thierry Thomas (<thierry@pompo.net>)
* Thierry Thomas <thierry@pompo.net>
* Thomas Gellekum <tg@FreeBSD.org>
* Thomas Sandford <freebsduser@paradisegreen.co.uk>
* Timothy Bourke <timbob@bigpond.com>
* Tony Maher
* Tz-Huan Huang <tzhuan@csie.org>
* Vsevolod Stakhov <vsevolod@FreeBSD.org>
* Vsevolod Stakhov <vsevolod@highsecure.ru>
* Waitman Gobble <waitman@waitman.net>
* Wen Heping <wen@FreeBSD.org>
* Wen Heping <wenheping@gmail.com>
* Will Andrews <andrews@technologist.com>
* Yi-Hsuan Hsin <mhsin@mhsin.org>
* Ying-Chieh Liao <ijliao@FreeBSD.org>
* Yinghong.Liu <relaxbsd@gmail.com>
* Yoshiaki UCHIKAWA <yoshiaki@kt.rim.or.jp>
* Yukihiro Nakai <Nakai@technologist.com>
* Yuri Victorovich <yuri@FreeBSD.org>
* Yuri Victorovich <yuri@rawbw.com>
* Yuri Victorovich <yuri@tsoft.com>
* Zhen REN <bg1tpt@gmail.com>
* amir.husaini@gmail.com
* arved
* asami
* b.f. <bf@FreeBSD.org>
* bart <lbartoletti@FreeBSD.org>
* bauerm
* bf <bf2006a@yahoo.com>
* bf <bf@FreeBSD.org>
* bf@FreeBSD.org
* bremner@unb.ca
* chinsan
* chuckr@FreeBSD.org
* dawe <daweonline@gmail.com>
* dbader@ece.unm.edu
* dd
* demon@FreeBSD.org
* dikshie
* eserte
* fenner
* gahr
* giffunip
* gmarco@giovannelli.it
* gurkan@phys.ethz.ch
* ijliao
* janek@gaja.ipan.lublin.pl
* jhs@berklix.com / asami (original)
* jmz
* js@jeannot.org
* keith@FreeBSD.org
* ljo
* mr
* nobu@rd.isac.co.jp
* pauls@utdallas.edu
* pusto@web.de
* reg@shale.csir.co.za
* rfarmer@predatorlabs.net
* stephen@FreeBSD.org
* thierry@pompo.net
* tobez
* will
* # Created by Matthias Fechner <mfechner@FreeBSD.org>
With hat: portmgr
f53eb28 |
Sunday, 22 May 2022
|
20:17 Dima Panov (fluffy)
devel/boost-all: bump all library consumers after boost upgrade
PR: 246106
b082b3d |
Tuesday, 6 Apr 2021
|
14:31 Mathieu Arnold (mat)
Remove # $FreeBSD$ from Makefiles.
305f148 |
Friday, 1 Jan 2021
|
23:51 linimon
Mark ports that are BROKEN due to sbrk on aarch64, also BROKEN on riscv64
where appropriate.
While here, pet portlint (Makevar order; whitespace).
Approved by: portmgr (tier-2 blanket)
|
Thursday, 9 Jul 2020
|
15:44 arrowd
math/cryptominisat and math/py-cryptominisat: Update to 5.7.1
Bump PORTREVISIONs of consumer ports.
|
Friday, 27 Mar 2020
|
14:59 arrowd
math/stp and math/cryptominisat: Use correct patch (at STP side) for specifying
dependency on
cryptomisat.
|
Wednesday, 4 Mar 2020
|
18:03 arrowd
math/cryptominisat: Add patch to fix CMake config file. Bump math/stp, as it was
affected by this issue.
|
Wednesday, 11 Dec 2019
|
17:53 jbeich
devel/boost-*: update to 1.72.0
Changes: http://www.boost.org/users/history/version_1_72_0.html
PR: 241449
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D22136
|
Monday, 19 Aug 2019
|
15:35 jbeich
devel/boost-*: update to 1.71.0
Changes: http://www.boost.org/users/history/version_1_71_0.html
PR: 238827
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D20774
|
Friday, 26 Jul 2019
|
20:46 gerald
Bump PORTREVISION for ports depending on the canonical version of GCC
as defined in Mk/bsd.default-versions.mk which has moved from GCC 8.3
to GCC 9.1 under most circumstances now after revision 507371.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, everything INDEX-11 shows with a dependency on lang/gcc9 now.
PR: 238330
|
Sunday, 21 Jul 2019
|
13:38 arrowd
math/stp: Update to 2.3.3.
|
Friday, 12 Apr 2019
|
06:36 jbeich
devel/boost-*: update to 1.70.0
Changes: http://www.boost.org/users/history/version_1_70_0.html
PR: 235956
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D19303
|
Wednesday, 10 Apr 2019
|
06:18 antoine
Bump a few PORTREVISIONs after r498529
With hat: portmgr
|
Saturday, 23 Feb 2019
|
16:24 arrowd
math/stp: Update to 2.3.2.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D19305
|
Tuesday, 25 Dec 2018
|
20:25 tcberner
Change cmake default behaviour to outsource.
Ports that build out of source now simply can use "USES=cmake"
instead of "USES=cmake:outsource". Ports that fail to build
out of source now need to specify "USES=cmake:insource".
I tried to only set insource where explictely needed.
PR: 232038
Exp-run by: antoine
|
Wednesday, 12 Dec 2018
|
01:35 gerald
Bump PORTREVISION for ports depending on the canonical version of GCC
defined via Mk/bsd.default-versions.mk which has moved from GCC 7.4 t
GCC 8.2 under most circumstances.
This includes ports
- with USE_GCC=yes or USE_GCC=any,
- with USES=fortran,
- using Mk/bsd.octave.mk which in turn features USES=fortran, and
- with USES=compiler specifying openmp, nestedfct, c11, c++0x, c++11-lang,
c++11-lib, c++14-lang, c++17-lang, or gcc-c++11-lib
plus, as a double check, everything INDEX-11 showed depending on lang/gcc7.
PR: 231590
|
00:15 jbeich
devel/boost-*: update to 1.69.0
Changes: http://www.boost.org/users/history/version_1_69_0.html
PR: 232525
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D17645
|
Tuesday, 6 Nov 2018
|
23:52 linimon
Add compiler:c++11-lang to USES to fix linking with boost.
Approved by: portmgr (tier-2 blanket)
|
Thursday, 9 Aug 2018
|
06:58 jbeich
devel/boost-*: update to 1.68.0
- Switch to C++14 for libboost_system to support C++14 consumers
Changes: http://www.boost.org/users/history/version_1_68_0.html
PR: 229569
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D16165
|
Saturday, 28 Jul 2018
|
06:46 arrowd
math/stp: Pull in fixes from the PR I missed.
PR: 229974
Submitted by: yuri, Nathan <ndowens.fbsd@yandex.com>
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16447
|
Tuesday, 24 Jul 2018
|
06:19 arrowd
math/stp: Update to latest 2.3.1 version.
Approved by: tcberner (mentor)
Differential Revision: https://reviews.freebsd.org/D16286
|
Monday, 18 Jun 2018
|
14:00 linimon
Mark ports broken on powerpc64, categories g-n.
While here, pet portlint and do some other cleanup.
Approved by: portmgr (tier-2 blanket)
|
Wednesday, 18 Apr 2018
|
13:57 jbeich
devel/boost-*: update to 1.67.0
Changes: http://www.boost.org/users/history/version_1_67_0.html
PR: 227427
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D15030
|
Thursday, 18 Jan 2018
|
04:11 jbeich
devel/boost-*: update to 1.66.0
Changes: http://www.boost.org/users/history/version_1_66_0.html
PR: 223922
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D13279
|
Monday, 25 Sep 2017
|
00:08 jbeich
devel/boost-*: update to 1.65.1
Changes: http://www.boost.org/users/history/version_1_65_1.html
PR: 218835
Approved by: maintainer timeout (1.65.1: 2 weeks; 1.65.0: 1 month)
Tested by: jhibbits (on powerpc64, earlier version)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D11582
|
00:05 jbeich
devel/boost-*: enable C++11 features
PR: 218835
Obtained from: https://github.com/DragonFlyBSD/DeltaPorts/pull/690
Approved by: maintainer timeout (2 months)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D11582
|
Sunday, 25 Jun 2017
|
21:07 tcberner
Make ninja opt-out in cmake.mk
Using ninja instead of make (1) can lead to significant speed ups while
building.
Therefore switch from having the ninja generator opt-in to having it opt-out.
Previously cmake-ports that wanted to use ninja could set
CMAKE_NINJA=yes
now, ports that do not work with ninja can set
cmake:<existing args>,noninja
Note, that needing this should be an exception and most often points to a broken
cmake of the port.
The ports using cmake were modified
* removed USES=gmake, if ninja is used
* removed MAKE_ARGS, if ninja is used
* added the cmake-argument noninja if necessary
PR: 219629
PR: 213331
Exp-run by: antoine
Reviewed by: rakuco
Differential Revision: https://reviews.freebsd.org/D10748
|
Tuesday, 2 May 2017
|
06:48 jbeich
devel/boost-*: update to 1.64.0
Changes: http://www.boost.org/users/history/version_1_64_0.html
PR: 218835
Approved by: office (bapt)
Exp-run by: antoine
Differential Revision: https://reviews.freebsd.org/D10472
|
Tuesday, 31 Jan 2017
|
03:40 linimon
Mark various ports broken on aarch64 and armv6.
Approved by: portmgr (tier-2 blanket)
|
Friday, 6 Jan 2017
|
08:45 jbeich
devel/boost-*: update to 1.63.0
Changes: http://www.boost.org/users/history/version_1_63_0.html
PR: 215598
Exp-run by: antoine
Approved by: office (bapt)
MFH: 2017Q1
|
Thursday, 5 Jan 2017
|
11:00 amdmi3
Remove always-true/false conditions after 9.x, 10.[12] EOL
While here, couple minor fixes
portmgr blanket
|
Wednesday, 23 Nov 2016
|
12:45 jbeich
devel/boost-*: update to 1.62.0
- Enable `long double` C99 math usage
- Switch 9.x back to building with GCC
Changes: http://www.boost.org/users/history/
PR: 199601
Submitted by: Chen Xu, bapt, amdmi3, truckman (based on)
Reviewed by: rakuco (kde) (earlier version)
Exp-run by: antoine (3 tries), truckman (consumers only, earlier versions)
Approved by: bapt (office)
|
Friday, 1 Apr 2016
|
14:16 mat
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight
|
Friday, 3 Apr 2015
|
11:26 mat
Remove OSVERSION checks that do not make sense any more.
For example (${OSVERSION} >= 900000 && ${OSVERSION} < 900021) is always true,
as is (${OSVERSION} > 900002 || ${OSVERSION} < 900000 && ${OSVERSION} > 800107).
Regarding patches, when an EXTRA_PATCHES is no longer needed, I remove it, when
it is always needed, I renamed it, in one case, I merged two patches.
Differential Revision: https://reviews.freebsd.org/D2209
|
Tuesday, 26 Aug 2014
|
12:44 antoine
Do not overwrite CMAKE_ARGS, fixes packaging on freebsd 9.x
|
12:29 antoine
Package something
|
Tuesday, 29 Jul 2014
|
21:07 adamw
Convert a bunch of USE_XZ to USES=tar:xz.
Approved by: portmgr (not really, but touches unstaged ports)
|
Monday, 7 Jul 2014
|
15:31 olgeni
Remove indefinite articles and trailing periods from COMMENT, plus minor
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)
|
Thursday, 6 Mar 2014
|
16:05 ehaupt
Fix math/stp build for FreeBSD 9.x
PR: 187311
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer)
|
Monday, 3 Mar 2014
|
16:21 lwhsu
- Update to revision 1436
PR: ports/186512
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer)
|
Friday, 20 Sep 2013
|
20:55 bapt
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
|
Monday, 16 Sep 2013
|
16:32 bapt
Convert to new perl framework
Convert USE_GMAKE to USES
|
Friday, 8 Mar 2013
|
11:32 bapt
Convert USE_BISON to USES= bison
It brings bison as a build dependency in case it is set the following way:
USES= bison or USES= bison:build
it brings bison as a run dependency in case it is set the following way:
USES= bison:run
it brings bison both as a run and build dependency in case it the set the
following way:
USES= bison:both
While here trim some headers
Convert some USE_GNOME= gnomehack to USES= pathfix
|
Wednesday, 28 Dec 2011
|
06:40 linimon
Mark as broken on tier-2: uses i386-specific compiler flags.
Hat: portmgr
|
Monday, 21 Nov 2011
|
15:51 sunpoet
- Add WITH_DEBUG support
PR: ports/162718
Submitted by: arrowdodger <6yearold@gmail.com> (maintainer)
Feature safe: yes
|
Friday, 11 Nov 2011
|
06:15 lwhsu
- Update to revision 1407
- Pass maintainership to arrowdodger <6yearold@gmail.com>
Original patch by: arrowdodger <6yearold@gmail.com>
Feature safe: yes
|
Saturday, 22 Aug 2009
|
00:28 amdmi3
- Switch SourceForge ports to the new File Release System: categories starting
with M
|
Wednesday, 24 Dec 2008
|
20:51 lwhsu
- Update to 0.1-11-18-2008
|
Thursday, 19 Jun 2008
|
01:52 lwhsu
Add stp , a Decision Procedure for Bitvectors and Arrays.
|
Number of commits found: 56 |