kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
80161 commits 166 branches 0 tags 1.5 GiB
Commit graph

11 commits

Author SHA1 Message Date
jlam
585534220c Remove USE_GNU_TOOLS and replace with the correct USE_TOOLS definitions: 
USE_GNU_TOOLS	-> USE_TOOLS
	awk		-> gawk
	m4		-> gm4
	make		-> gmake
	sed		-> gsed
	yacc		-> bison
 2005-05-22 20:07:36 +00:00
tv
f816d81489 Remove USE_BUILDLINK3 and NO_BUILDLINK; these are no longer used. 2005-04-11 21:44:48 +00:00
agc
475ab002d7 Add RMD160 digests 2005-02-24 09:03:05 +00:00
adrianp
55bb4bd887 - Update of coq from 7.4 to 8.0pl2 
- Initial patches supplied by Antoine Reilles, thanks !
- Lots of changes/fixes/updates, see: CHANGES
 2005-02-05 11:19:02 +00:00
jmmv
c33d2074af Adjust dependencies after ocaml has been splitted into three different 
packages: ocaml, ocaml-graphics and labltk.  Bump PKGREVISION.
 2004-12-24 17:21:01 +00:00
wiz
6e02d7ee41 Rename ALL_TARGET to BUILD_TARGET for consistency with other *_TARGETs. 
Suggested by Roland Illig, ok'd by various.
 2004-12-03 15:14:50 +00:00
tv
c487cb967a Libtool fix for PR pkg/26633, and other issues. Update libtool to 1.5.10 
in the process.  (More information on tech-pkg.)

Bump PKGREVISION and BUILDLINK_DEPENDS of all packages using libtool and
installing .la files.

Bump PKGREVISION (only) of all packages depending directly on the above
via a buildlink3 include.
 2004-10-03 00:12:51 +00:00
snj
4175a1077a Convert to buildlink3. 2004-04-28 05:06:28 +00:00
grant
f1ab3f4ed4 replace deprecated USE_GMAKE with USE_GNU_TOOLS+=make. 2004-01-24 13:51:13 +00:00
jtb
b683565843 Build with native code compilers on systems where they're available, 
which now includes powerpc and sparc.
Bump PKGREVISION.
 2003-06-23 20:36:13 +00:00
kristerw
358f2678e5 By popular demand, move coq-7.4 from math to lang in order to be consistent 
with prior art (e.g. lang/twelf).

    Coq is a Proof Assistant for a Logical Framework known as the
    Calculus of Inductive Constructions. It allows the interactive
    construction of formal proofs, and also the manipulation of
    functional programs consistently with their specifications.
 2003-03-22 20:21:16 +00:00