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
