Commit graph

19 commits

Author SHA1 Message Date
Eelco Dolstra 5553546c21 Remove a bunch of unreferenced files
Plus a small number of obsolete packages (like old versions of qemu).
2012-11-29 13:43:37 +01:00
Eelco Dolstra 607b0d3e80 * Rewrite all the SourceForge URLs to mirror://sourceforge/.
find . -name "*.nix" | while read fn; do sed 's^http://[a-z]*.dl.sourceforge.net/sourceforge/^mirror://sourceforge/^g' < $fn > $fn.new; mv $fn.new $fn; done

svn path=/nixpkgs/trunk/; revision=9198
2007-08-27 13:01:33 +00:00
Mart Kolthof 0f19802139 Forgot to patch the config file to point to the right binaries.
svn path=/nixpkgs/trunk/; revision=8256
2007-03-08 14:06:56 +00:00
Mart Kolthof 12b6b77f96 upgraded to version 1.3.6
svn path=/nixpkgs/trunk/; revision=8185
2007-03-05 16:12:08 +00:00
Mart Kolthof f201344599 Fixed typo.
svn path=/nixpkgs/trunk/; revision=7778
2007-01-23 16:03:11 +00:00
Mart Kolthof 66706c592e Altered download location to sourceforge.
svn path=/nixpkgs/trunk/; revision=7769
2007-01-23 13:29:11 +00:00
Martin Bravenboer 7c765159ba CX-1: Nix installation of CX is broken
Fixed the CilConfig.pm.in to use the prefix instead of the cilhome,
which is for whatever reason set to the pwd. Yeah. These CIL guys
could use some deployment help.


svn path=/nixpkgs/trunk/; revision=6516
2006-09-13 12:02:12 +00:00
Mart Kolthof cc125be42e Enabling verbose output in order find the problem of bug CX-1
svn path=/nixpkgs/trunk/; revision=6407
2006-08-31 07:54:21 +00:00
Mart Kolthof e3e3031d69 Trying to resolve bug CX-1
svn path=/nixpkgs/trunk/; revision=6383
2006-08-30 17:44:04 +00:00
Mart Kolthof edefde9b2f * trying to keep to the standards
svn path=/nixpkgs/trunk/; revision=6226
2006-08-24 14:19:59 +00:00
Mart Kolthof 9c67a8d113 * Third try :P
svn path=/nixpkgs/trunk/; revision=6222
2006-08-24 13:32:56 +00:00
Mart Kolthof 4bfa933f40 * Second try
svn path=/nixpkgs/trunk/; revision=6221
2006-08-24 10:48:49 +00:00
Mart Kolthof a312ca7edd * Switching back to OCaml 3.08.0 to hopefully resolve compile errors
svn path=/nixpkgs/trunk/; revision=6215
2006-08-23 16:10:27 +00:00
Mart Kolthof 03e93539b4 * refactored operators, kinds and storage modifiers to make them checkable at compiletime
svn path=/nixpkgs/trunk/; revision=4863
2006-02-20 10:43:19 +00:00
Mart Kolthof 7bc09b8f2f inversed patch
svn path=/nixpkgs/trunk/; revision=4560
2006-01-16 13:13:43 +00:00
Mart Kolthof 2939db05c9 added binaries in 'make install'
svn path=/nixpkgs/trunk/; revision=4555
2006-01-16 12:36:30 +00:00
Mart Kolthof 1a496e77c8 changed cil from version 1.3.3 to 1.3.4
svn path=/nixpkgs/trunk/; revision=4552
2006-01-16 10:09:55 +00:00
Mart Kolthof 431962ce8f added the right buildInputs
svn path=/nixpkgs/trunk/; revision=4528
2006-01-09 14:32:08 +00:00
Mart Kolthof 0ab104df8d added cil-aterm to nixpkgs
svn path=/nixpkgs/trunk/; revision=4482
2006-01-02 14:24:36 +00:00