| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
| |
Reviewed by: msmith
Notes:
svn path=/head/; revision=15424
|
|
|
|
| |
Notes:
svn path=/head/; revision=15408
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
STLport is an an adaptation of SGI's Standard Template Library.
The goal of the STLport effort is to make SGI's STL
implementation usable with most compilers while retaining full
functionality.
The Standard Template Library is a C++ library of container
classes, algorithms, and iterators providing many of the basic
algorithms and data structures of computer science.
PR: ports/8939
Submitted by: josh@quick.net
Notes:
svn path=/head/; revision=15407
|
|
|
|
|
|
|
|
| |
PR: ports/9093
Submitted by: andy@icc.surw.chel.su
Notes:
svn path=/head/; revision=15370
|
|
|
|
| |
Notes:
svn path=/head/; revision=15365
|
|
|
|
|
|
|
|
|
|
| |
A Perl-based Make replacement.
PR: 9076
Submitted by: Rajesh Vaidheeswar <rv@fore.com>
Notes:
svn path=/head/; revision=15364
|
|
|
|
|
|
|
|
| |
PR: ports/9070
Submitted by: Shigeyuki FUKUSHIMA <shige@kuis.kyoto-u.ac.jp>
Notes:
svn path=/head/; revision=15349
|
|
|
|
|
|
|
| |
explicitly.
Notes:
svn path=/head/; revision=15320
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Spin is an efficient on-the-fly verification system
(a `model checker') for asynchronous concurrent systems,
such as data communication protocols, distributed operating
systems, database systems, etc.
It can be used to prove both safety and liveness properties,
including all correctness requirements expressible in linear
time temporal logic.
PR: ports/9058
Submitted by: pangolin@home.com
Notes:
svn path=/head/; revision=15311
|
|
|
|
| |
Notes:
svn path=/head/; revision=15303
|
|
|
|
|
|
|
| |
PR: 7463
Notes:
svn path=/head/; revision=15297
|
|
|
|
| |
Notes:
svn path=/head/; revision=15296
|
|
|
|
|
|
|
| |
PR: 9048
Notes:
svn path=/head/; revision=15283
|
|
|
|
| |
Notes:
svn path=/head/; revision=15269
|
|
|
|
| |
Notes:
svn path=/head/; revision=15247
|
|
|
|
|
|
|
| |
Remind by: "Gregory D. Moncreaff" <moncrg@bt340707.res.ray.com>
Notes:
svn path=/head/; revision=15225
|
|
|
|
| |
Notes:
svn path=/head/; revision=15216
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
libPropList for property settings. Window Maker also uses libPropList,
as does wdm. However, there seem to be some differences between the two and
nevertheless, it would not be good to have future gnome ports depend on
Window Maker. I made this port from the libPropList found on the gnome ftp
sites; the distribution file is called libPropList-0.7.1gnome, but it builds
the library by default as libPropList. This conflicts with the libPropList
installed by Window Maker, so I made this port build the library as
libPropListgnome. So any future gnome ports that need libPropList should link
against libPropListgnome instead.
PR: ports/9006
Submitted by: Glenn Johnson <gljohns@bellsouth.net>
Notes:
svn path=/head/; revision=15215
|
|
|
|
| |
Notes:
svn path=/head/; revision=15170
|
|
|
|
|
|
|
|
| |
Caught by: A little perl script for INDEX generation that Satoshi
and I are working on. :)
Notes:
svn path=/head/; revision=15164
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
dispite their meanings. (Sometimes we're too smart for computers. :)
Found by: sorting ports/INDEX by "sort -t '|' +1 -2"
(Note: the whole "x11" category appears at the end with the above sort
command, but I'll leave that the way it is for now -- "ls" shows it
before other x11-* entries.)
Notes:
svn path=/head/; revision=15163
|
|
|
|
| |
Notes:
svn path=/head/; revision=15154
|
|
|
|
| |
Notes:
svn path=/head/; revision=15095
|
|
|
|
| |
Notes:
svn path=/head/; revision=15076
|
|
|
|
|
|
|
|
|
| |
PR: ports/8842
Reviewed by: <nakai@TokyoNet.AD.JP> (maintainer)
Submitted by: <junker@jazz.snu.ac.kr>
Notes:
svn path=/head/; revision=15033
|
|
|
|
|
|
|
|
|
|
|
|
| |
Disable native shared library support, doesn't work, use own scheme as before.
Don't use shared library version numbering on ELF for now, needs more thought.
Document shared library version numbering scheme I chose.
Pump shared library version number on aout.
Better COMMENT and DESCR (still too long).
Remove patch to regognize now outdated FreeBSD JDK.
Notes:
svn path=/head/; revision=15019
|
|
|
|
|
|
|
|
| |
PR: ports/8896
Submitted by: Jose Maa Alcaide <jose@we.lc.ehu.es>
Notes:
svn path=/head/; revision=15016
|
|
|
|
| |
Notes:
svn path=/head/; revision=15010
|
|
|
|
|
|
|
| |
Submitted by: Doug Rabson <dfr@calcaphon.com>
Notes:
svn path=/head/; revision=15004
|
|
|
|
| |
Notes:
svn path=/head/; revision=15001
|
|
|
|
| |
Notes:
svn path=/head/; revision=14992
|
|
|
|
| |
Notes:
svn path=/head/; revision=14934
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
-------
cc -c -g -I./splay -I/root/include -DHAVE_MMAP -DSTDHEADERS -DDEBUG -DTRACE -DPROFILESIZES _emalloc.c -o _emalloc.o
In file included from defs.h:51,
from _emalloc.c:5:
externs.h:110: conflicting types for `mmap'
/usr/include/stdio.h:282: previous declaration of `mmap'
*** Error code 1
Stop.
Notes:
svn path=/head/; revision=14928
|
|
|
|
|
|
|
| |
in pre-install.
Notes:
svn path=/head/; revision=14926
|
|
|
|
|
|
|
| |
for ilu and mkdirhier for asl.)
Notes:
svn path=/head/; revision=14922
|
|
|
|
|
|
|
| |
Remind by: asami
Notes:
svn path=/head/; revision=14898
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
===
:
cc -DPACKAGE=\"libIDL\" -DVERSION=\"0.5.0\" -DHAVE_CPP_PIPE_STDIN=1 -DCPP_PROGRAM=\"cc\ -E\" -DYYTEXT_POINTER=1 -DSTDC_HEADERS=1 -DHAVE_STDDEF_H=1 -I. -I. -DYYDEBUG=1 -DIDL_LIBRARY -I/usr/local/include/glib -O -pipe -c tstidl.c
/bin/sh ./libtool --mode=link cc -O -pipe -o tstidl tstidl.o libIDL.la -L/usr/local/lib -lglib11
LD_LIBRARY_PATH=".libs:$LD_LIBRARY_PATH" cc -O -pipe -o .libs/tstidl tstidl.o -R/usr/local/lib -lIDL -L/usr/local/lib -lglib11 -L/usr/local/lib -lglib11
tstidl.o: Undefined symbol `_IDL_check_type_cast' referenced from text segment
tstidl.o: Undefined symbol `_IDL_check_type_cast' referenced from text segment
tstidl.o: Undefined symbol `___IDL_check_type_casts' referenced from text segment
tstidl.o: Undefined symbol `___IDL_debug' referenced from text segment
tstidl.o: Undefined symbol `_IDL_parse_filename' referenced from text segment
tstidl.o: Undefined symbol `_IDL_tree_walk_in_order' referenced from text segment
tstidl.o: Undefined symbol `_IDL_ns_free' referenced from text segment
tstidl.o: Undefined symbol `_IDL_tree_free' referenced from text segment
gmake[2]: *** [tstidl] Error 1
gmake[2]: Leaving directory `/usr/ports/devel/ORBit/work/ORBit-0.3.0/libIDL'
gmake[1]: *** [all-recursive] Error 1
gmake[1]: Leaving directory `/usr/ports/devel/ORBit/work/ORBit-0.3.0'
gmake: *** [all-recursive-am] Error 2
*** Error code 2
Stop.
Notes:
svn path=/head/; revision=14884
|
|
|
|
|
|
|
| |
Noticed by: asami
Notes:
svn path=/head/; revision=14849
|
|
|
|
|
|
|
|
|
|
|
| |
since as Satoshi points out, "it doesn't seem very useful to
have a meta-port that you can't package". We'll let the world
judge whether it is useful to them.
Nudged by: asami
Notes:
svn path=/head/; revision=14848
|
|
|
|
|
|
|
| |
Change first line of Makefile from "manck" to "portcheckout".
Notes:
svn path=/head/; revision=14751
|
|
|
|
| |
Notes:
svn path=/head/; revision=14743
|
|
|
|
|
|
|
|
| |
PR: 8741
Submitted by: maintainer
Notes:
svn path=/head/; revision=14742
|
|
|
|
|
|
|
|
|
| |
version. Also update the maintainer's Email address.
Submitted by: maintainer
Notes:
svn path=/head/; revision=14738
|
|
|
|
| |
Notes:
svn path=/head/; revision=14667
|
|
|
|
| |
Notes:
svn path=/head/; revision=14650
|
|
|
|
|
|
|
|
| |
PR: ports/8736
Submitted by: maintainer
Notes:
svn path=/head/; revision=14645
|
|
|
|
| |
Notes:
svn path=/head/; revision=14634
|
|
|
|
| |
Notes:
svn path=/head/; revision=14632
|
|
|
|
| |
Notes:
svn path=/head/; revision=14631
|
|
|
|
| |
Notes:
svn path=/head/; revision=14604
|