| non port: math/alt-ergo/Makefile |
|
SVNWeb
|
Number of commits found XX: 15 |
|
Mon, 18 May 2020
|
[ 00:58 linimon ]  
535698 math/alt-ergo/Makefile
Mark as BROKEN on powerpc64:
/tmp/camlasm2822e8.s: Assembler messages:
/tmp/camlasm2822e8.s:10348: Error: operand out of range (0x000000000000804c is
not between 0xffffffffffff8000 and 0x0000000000007ffc)
/tmp/camlasm2822e8.s:32988: Error: operand out of range (0x000000000000805c is
not between 0xffffffffffff8000 and 0x0000000000007ffc)
|
|
Mon, 27 Jun 2016
|
[ 21:30 rene ]
417685 archivers/lzma/Makefile
417685 archivers/paq/Makefile
417685 archivers/ppmd-7z/Makefile
417685 devel/abi-compliance-checker/Makefile
417685 devel/api-sanity-autotest/Makefile
417685 devel/checkheaders/Makefile
417685 devel/distorm/Makefile
417685 devel/ftnchek/Makefile
417685 devel/libdisasm/Makefile
417685 devel/omake/Makefile
(Only the first 10 of 94 ports in this commit are shown above.  )
Reset ports maintained by bf@ until he has time again to work on them.
PR: 210474
Submitted by: jbeich
With hat: portmgr-secretary
|
|
Fri, 1 Apr 2016
|
[ 14:16 mat ]
412348 mail/addresses-goodies/Makefile
412348 mail/alpine/Makefile
412348 mail/anubis/Makefile
412348 mail/archiveopteryx-devel/Makefile
412348 mail/archiveopteryx/Makefile
412348 mail/assp/Makefile
412348 mail/automx/Makefile
412348 mail/avenger/Makefile
412348 mail/balsa/Makefile
412348 mail/batv-milter/Makefile
(Only the first 10 of 2612 ports in this commit are shown above. )
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
With hat: portmgr
Sponsored by: Absolight
|
|
Mon, 4 May 2015
|
[ 15:46 madpilot ]
385413 Mk/bsd.ocaml.mk
385413 astro/planets/Makefile
385413 databases/ocaml-mysql/Makefile
385413 deskutils/wyrd/Makefile
385413 devel/coccinelle/Makefile
385413 devel/frama-c/Makefile
385413 devel/monotone-viz/Makefile
385413 devel/ocaml-camomile/Makefile
385413 devel/ocaml-deriving-ocsigen/Makefile
385413 devel/ocaml-extlib/Makefile
(Only the first 10 of 35 ports in this commit are shown above. )
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
depends on the camlp4 language and labltk ocaml modules, which are
now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt
PR: 199845
Submitted by: jbeich@
Differential Revision: https://reviews.freebsd.org/D2434
Approved by: portmgr (mat)
|
|
Sun, 7 Dec 2014
|
[ 00:07 antoine ]
374163 devel/ocaml-equeue/Makefile
374163 graphics/ampasACES-container/Makefile
374163 graphics/ampasCTL/Makefile
374163 mail/hashcash/Makefile
374163 math/alt-ergo/Makefile
374163 math/givaro/Makefile
374163 math/mtl/Makefile
374163 ports-mgmt/jailaudit/Makefile
374163 ports-mgmt/pkgcompare/Makefile
374163 science/py-pyaixi/Makefile
(Only the first 10 of 13 ports in this commit are shown above. )
Canonicalize a few licenses
|
|
Wed, 10 Sep 2014
|
[ 20:50 gerald ]
367888 accessibility/accerciser/Makefile
367888 accessibility/jovie/Makefile
367888 accessibility/kaccessible/Makefile
367888 accessibility/kdeaccessibility4/Makefile
367888 accessibility/kmag/Makefile
367888 accessibility/kmousetool/Makefile
367888 accessibility/kmouth/Makefile
367888 accessibility/orca/Makefile
367888 arabic/kde4-l10n/Makefile
367888 arabic/libreoffice/Makefile
(Only the first 10 of 3171 ports in this commit are shown above. )
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.
Part II, Bump PORTREVISIONs.
PR: 192025
Tested by: antoine (-exp runs)
Approved by: portmgr (implicit)
|
|
Wed, 25 Jun 2014
|
[ 05:35 bapt ]
359185 audio/libcanberra-gtk3/Makefile
359185 audio/liquidsoap/Makefile
359185 cad/freehdl/Makefile
359185 databases/libgda5-ui/Makefile
359185 databases/libgda5/Makefile
359185 databases/pgpool-II/Makefile
359185 databases/postgresql91-docs/Makefile
359185 devel/aros-sdk/Makefile
359185 devel/avr-libc/Makefile
359185 devel/hadoop/Makefile
(Only the first 10 of 304 ports in this commit are shown above. )
Convert GMAKE to MAKE_CMD
Please note that lots of invocation of MAKE_CMD here are wrong as they do not
properly respect MAKE_ENV and friends
With hat: portmgr
|
|
Mon, 2 Jun 2014
|
[ 23:51 marino ]
356261 math/alt-ergo/Makefile
356261 math/alt-ergo/distinfo
356261 math/alt-ergo/pkg-plist
math/alt-ergo: Update version 0.94 => 0.95.2 and support stage
|
|
Mon, 26 May 2014
|
[ 12:28 miwi ]
355316 math/alt-ergo/Makefile
355316 math/ann/Makefile
355316 math/arpack++/Makefile
355316 math/blitz++/Makefile
355316 math/eukleides/Makefile
355316 math/fricas/Makefile
355316 math/fxt/Makefile
355316 math/gotoblas/Makefile
355316 math/gracetmpl/Makefile
355316 math/gri/Makefile
(Only the first 10 of 23 ports in this commit are shown above. )
- Convert gmake,bzip2 to USES
Approved by: portmgr
|
|
Fri, 20 Sep 2013
|
[ 20:55 bapt ]
327746 math/GiNaC/Makefile
327746 math/PDL/Makefile
327746 math/R-cran-ChangeAnomalyDetection/Makefile
327746 math/R-cran-Formula/Makefile
327746 math/R-cran-KFAS/Makefile
327746 math/R-cran-LearnBayes/Makefile
327746 math/R-cran-MCMCpack/Makefile
327746 math/R-cran-RHmm/Makefile
327746 math/R-cran-RSvgDevice/Makefile
327746 math/R-cran-RcppArmadillo/Makefile
(Only the first 10 of 665 ports in this commit are shown above. )
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
|
|
Mon, 18 Mar 2013
|
[ 16:11 bf ]
314582 graphics/epstool/Makefile
314582 math/alt-ergo/Makefile
314582 math/alt-ergo/pkg-descr
314582 math/fftw3/Makefile
314582 math/fftw3/pkg-descr
314582 print/gsview/Makefile
update master sites; trim headers; reposition LICENSE, WWW
|
|
Thu, 7 Mar 2013
|
[ 03:46 bf ]
313560 math/alt-ergo/Makefile
switch to the new options format
|
|
Tue, 5 Mar 2013
|
[ 20:22 bf ]
313476 devel/frama-c/Makefile
313476 devel/monotone-viz/Makefile
313476 devel/ocaml-ulex/Makefile
313476 games/freetennis/Makefile
313476 lang/opa/Makefile
313476 math/alt-ergo/Makefile
313476 math/coq/Makefile
313476 math/ocaml-ocamlgraph/Makefile
313476 net-p2p/mldonkey-core/Makefile
313476 net-p2p/mldonkey-gui/Makefile
(Only the first 10 of 19 ports in this commit are shown above. )
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports
PR: 144982, 149958
Reviewed by: johans (earlier version of the patch)
|
|
Fri, 1 Jun 2012
|
[ 05:26 dinoex ]
1.59 Mk/bsd.gecko.mk
1.1246 UPDATING
1.18 accessibility/accerciser/Makefile
1.12 accessibility/at-poke/Makefile
1.77 accessibility/at-spi/Makefile
1.5 accessibility/at-spi2-atk/Makefile
1.54 accessibility/dasher/Makefile
1.60 accessibility/gnome-mag/Makefile
1.45 accessibility/gnopernicus/Makefile
1.51 accessibility/gok/Makefile
(Only the first 10 of 4371 ports in this commit are shown above. )
- update png to 1.5.10
|
|
Wed, 21 Dec 2011
|
[ 02:58 bf ]
1.746 math/Makefile
1.1 math/alt-ergo/Makefile
1.1 math/alt-ergo/distinfo
1.1 math/alt-ergo/pkg-descr
1.1 math/alt-ergo/pkg-plist
Add alt-ergo 0.94, an automatic theorem prover dedicated to program
verification.
|
Number of commits found XX: 15 |
As an Amazon Associate I earn from qualifying purchases.