10 commits

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