Pav Lucistnik
762e62103e
- Update to 1.3.0
...
PR: ports/73080
Submitted by: KATO Tsuguru <tkato432@yahoo.com>
2004-10-26 07:01:08 +00:00
Maho Nakata
1e751086cb
1) Remove Xpm, and also remove dependencies
...
which is included in distfiles.
2) Bump portrevision
2004-10-24 04:40:09 +00:00
Maho Nakata
6e7d0ac916
Depends on newer libpng.
2004-10-24 04:24:15 +00:00
Maho Nakata
df33287cc1
Avoid the use of != statements in ports Makefile
...
PR: 71095
Submitted by: eik
2004-10-24 03:37:02 +00:00
Christian Weisgerber
d1b537f3b9
Update to 1.2.4. This is a bugfix/minor feature enhancement release:
...
* introducing thousands separators
* several bugfixes
* cleaned up display code
* new and updated translations
2004-10-23 13:51:22 +00:00
Maho Nakata
2fd8f8553d
1) fix build after changes to make(1) on FreeBSD >= 5.x.
...
2) clean up (pkg-message)
PR: 72265
Submitted by: thierry
2004-10-19 02:26:05 +00:00
Maho Nakata
bbeb595445
Forgot to add pkg-message.in
...
PR: 72261
Pointy hat to: maho
2004-10-19 02:16:37 +00:00
Maho Nakata
e639642187
1) fix build after changes to make(1) on FreeBSD
...
2) pass portlint, and also fix pkg-message as well.
PR: 72261
Submitted by: thierry@
2004-10-19 02:14:59 +00:00
Maho Nakata
7596947cb9
USE_MPI->WITH_MPI and other fix
...
PR: 72216
Submitted by: thierry@
2004-10-19 02:10:31 +00:00
Maho Nakata
bd9c310124
1) Adding missing symbols in the library
...
2) Makefile Cleanups.
PR: 72216
Submitted by: thierry@
2004-10-19 02:08:48 +00:00
Maho Nakata
26bd231cac
Adding newline at the end of files
...
(lapack.h and blas.h)
Submitted by: thierry@
2004-10-19 01:10:44 +00:00
Kirill Ponomarev
9d2de81886
Fix package build.
2004-10-16 15:43:28 +00:00
Lars Koeller
e1bceb63b0
o) Fix error in package list (use of rm).
2004-10-16 12:22:25 +00:00
Thierry Thomas
0a48bfad06
Unbreak by using gcc-3.3.
...
Since I'm there, pet portlint.
PR: ports/71585
Submitted by: maintainer.
2004-10-16 08:34:57 +00:00
Pav Lucistnik
253ba3b3b5
Add coq, a formal proof management system: a proof done with Coq is
...
mechanically checked by the machine.
In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".
PR: ports/72718
Submitted by: Rene Ladan <r.c.ladan@student.tue.nl>
2004-10-16 00:55:32 +00:00
Pav Lucistnik
b3b1ccaa5c
- Update to 0.3.5
...
- Fix build against R 2.0
Reported by: pointyhat via kris
2004-10-15 20:57:23 +00:00
Lars Koeller
fac13e2e00
Update from 5.1.16 -> 5.1.17
...
* src/pdfdrv.c: Fixed crash in PDF when using patterns with PDF-1.4.
* Xbae/Xbae/Create.c: Backported font width fixes.
* src/x11drv.c: Backported page frame fix.
* src/: Tab.c, XMgrace.ad, xmgrace.c, Tab.h: Backported tabFontList changes.
* src/pdfdrv.c: Changed default PDF dpi to 300.
PR: 72197
Submitted by: Shuhei Amakawa <sa264@cam.ac.uk>
2004-10-14 19:25:32 +00:00
Kirill Ponomarev
ba76c597bf
Update to 0.401
...
Change maintainer's email.
PR: ports/72661
Submitted by: maintainer
2004-10-14 08:19:40 +00:00
Anton Berezin
306a3a6dec
Update to 1.72.
2004-10-13 11:02:39 +00:00
Pav Lucistnik
07ca25112a
- Update to 2.0.0
...
PR: ports/72544
Submitted by: Eric van Gyzen <vangyzen@stat.duke.edu> (maintainer)
2004-10-12 21:02:12 +00:00
Pav Lucistnik
015b862fe1
- Bump USE_GCC to 3.4 to match cln and unbreak
...
- Remove gettext hack, it's no longer valid
Reported by: pointyhat via kris
2004-10-12 19:57:06 +00:00
Mathieu Arnold
c7fc3ca52c
Update to 1.1
2004-10-12 14:38:12 +00:00
Kirill Ponomarev
3e9ac88a24
Update to version 2004.10.04
...
PR: ports/72531
Submitted by: Ports Fury
2004-10-12 12:59:39 +00:00
Sergey Skvortsov
2a0dcd9565
Updated to 1.04
...
* fix ->new(@seed)
2004-10-12 12:21:58 +00:00
Sergei Kolobov
a864ec0c0b
- Fix typos (omitted $'s)
...
PR: ports/72408
Submitted by: Mike Meyer (maintainer)
While I'm here:
- Remove unnecessary explicit invocation of STRIP_CMD
- Merge post-install into do-install target
- Use DOCSDIR macro in pkg-plist
2004-10-12 08:14:08 +00:00
Mark Linimon
420144bebe
Update to 2.30.
...
PR: ports/71882
Submitted by: KATO Tsuguru <tkato432 at yahoo dot com>
2004-10-12 07:35:57 +00:00
Mark Linimon
d9dcb982a2
1) fix plist: test builds show, that 0.6.3 configure fails to detect
...
gettext on 5x too :( So we need to temporarily disable translations for now...
2) reinstall didn't ever work, because of use of 'ln -s' instead of
ln -sf for symlinking qalculate-gtk binary.
PR: ports/71228
Submitted by: Sergey Akifyev <asa at gascom dot ru> (maintainer)
2004-10-12 06:40:48 +00:00
Thierry Thomas
d9a50fef75
Upgrade to 4.3.
2004-10-12 05:31:15 +00:00
Thierry Thomas
3db9f7c36a
- Upgrade to 1.42;
...
- Add support for MPI.
2004-10-11 22:30:39 +00:00
Alexey Dokuchaev
a841e7bdaf
Play nice with new GCC, and unbreak the build.
...
Reported by: kris
Approved by: portmgr (krion), fjoe (mentor, implicit)
2004-10-08 05:32:57 +00:00
Ade Lovett
f9dde1308b
Hack to make pari compile again on 5.3 prior to release
...
Reviewed by: maintainer
Approved by: portmgr (marcus)
2004-10-04 23:27:44 +00:00
Kris Kennaway
84e8d56ed5
Increase USE_GCC to 3.4 for those ports which compile with it.
...
Approved by: portmgr
2004-09-30 05:32:00 +00:00
Mark Murray
cdc29bb450
This port compiles correctly with GCL.
...
Approved by: portmgr
2004-09-28 13:50:31 +00:00
Kris Kennaway
6cf6bed824
Now builds on amd64
...
Approved by: portmgr (self)
2004-09-28 01:53:59 +00:00
Thierry Thomas
f11bb0d97f
make replaced the defined command by our ${ARCH}.
...
Approved by: portmgr (marcus).
2004-09-27 07:31:01 +00:00
Kris Kennaway
e3a91b0968
BROKEN on 5.x: Broken by changes to make(1)
...
Approved by: portmgr (self)
2004-09-26 03:15:46 +00:00
Kris Kennaway
82f9e5ad55
BROKEN on 5.x: Does not compile
...
Approved by: portmgr (self)
2004-09-26 03:11:57 +00:00
Kris Kennaway
70a3e42a78
BROKEN on 5.x: Does not compile
...
Approved by: portmgr (self)
2004-09-26 02:02:24 +00:00
Kris Kennaway
dc34d47840
BROKEN on 5.x: Configure fails
...
Approved by: portmgr (self)
2004-09-26 01:42:16 +00:00
Joe Marcus Clarke
03d4563c99
Unbreak with GCC 3.4.2.
...
Submitted by: Anish Mistry <mistry.7@osu.edu>
Approved by: portmgr (implicit)
2004-09-20 20:38:31 +00:00
Kris Kennaway
d677a0f98a
BROKEN: Does not compile
...
Approved by: portmgr (self)
2004-09-19 01:01:07 +00:00
Kris Kennaway
7a6f05bb7a
BROKEN on 5.x: Does not compile
...
Approved by: portmgr (self)
2004-09-18 18:47:46 +00:00
Kris Kennaway
fe54d2a7c7
BROKEN on 5.x: Does not compile
...
Approved by: portmgr (self)
2004-09-18 17:49:31 +00:00
Joe Marcus Clarke
6132935ab6
Fix the build with GCC 3.4.2.
...
Reported by: pointyhat
Approved by: portmgr (implicit)
2004-09-06 19:08:13 +00:00
Mark Linimon
eb4429a739
Update to 0.5.5.
...
PR: ports/68467
Submitted by: Shin'ya Murakami
Approved by: maintainer
2004-09-03 19:37:55 +00:00
Kirill Ponomarev
78d403a1ad
Update to version 0.9.14
...
PR: ports/71301
Submitted by: Ports Fury
2004-09-03 08:21:26 +00:00
Tilman Keskinoz
943f70e8c9
Fix build with gcc 3.4
...
PR: 71206
Submitted by: Eric van Gyzen <vangyzen@stat.duke.edu>
2004-09-02 16:18:13 +00:00
Tilman Keskinoz
ffcf330dca
Update to 0.0.5
...
PR: 71276
Submitted by: Shin'ya Murakami <murakami@ahs.scitec.kobe-u.ac.jp>
2004-09-02 09:45:01 +00:00
Maho Nakata
8220b4b39d
Fix build 5-STABLE
...
Submitted by: Sergio Mangialardi <sergio@softshark.org>
2004-09-02 01:14:04 +00:00
Maho Nakata
162ea9b647
type -> arch
...
Pointy hat to: maho
2004-09-02 00:25:45 +00:00