Commit graph

13 commits

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