Commit Graph

17 Commits

Author SHA1 Message Date
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