diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 10:25:25 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2010-03-03 10:25:25 +0000 |
commit | 93d89c2b5e8497365be152fb53cb6cd4c5764d34 (patch) | |
tree | 0de8d05bbd0eeaeb5e4b85395f8dd576984b6a9e /cil/cil.spec.in | |
parent | 891377ce1962cdb31357d6580d6546ec22df2b4f (diff) | |
download | compcert-93d89c2b5e8497365be152fb53cb6cd4c5764d34.tar.gz compcert-93d89c2b5e8497365be152fb53cb6cd4c5764d34.zip |
Getting rid of CIL
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1270 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cil/cil.spec.in')
-rw-r--r-- | cil/cil.spec.in | 90 |
1 files changed, 0 insertions, 90 deletions
diff --git a/cil/cil.spec.in b/cil/cil.spec.in deleted file mode 100644 index 0a47dbdd..00000000 --- a/cil/cil.spec.in +++ /dev/null @@ -1,90 +0,0 @@ -Name: cil -Version: @CIL_VERSION@ -Release: 1 -License: BSD -URL: http://manju.cs.berkeley.edu/cil/ -Source0: %{name}-%{version}.tar.gz -BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-buildroot -BuildRequires: gcc -BuildRequires: ocaml >= 3.08 -BuildRequires: perl >= 5.6.1 - -# No ELF executables or shared libraries -%define debug_package %{nil} - - -######################################################################## -# -# Package cil -# - -Summary: OCaml library for C program analysis and transformation -Group: Development/Libraries -Requires: perl >= 5.6.1 - -%description -CIL (C Intermediate Language) is a high-level representation along -with a set of tools that permit easy analysis and source-to-source -transformation of C programs. - -This package provides Perl modules which are useful for building -compiler wrappers. A wrapper can use CIL to transform C code before -passing it along to the native C compiler. - -%files -%defattr(-,root,root,-) -%doc LICENSE -%{_datadir}/%{name} - - -######################################################################## -# -# Package cil-devel -# - -%package devel - -Summary: OCaml library for C program analysis and transformation -Group: Development/Libraries -Requires: ocaml >= 3.04 - -%description devel -CIL (C Intermediate Language) is a high-level representation along -with a set of tools that permit easy analysis and source-to-source -transformation of C programs. - -This package provides OCaml interfaces and an OCaml library which form -the CIL API. - -%files devel -%defattr(-,root,root,-) -%doc LICENSE -%{_libdir}/%{name} - - -######################################################################## -# -# General scripts -# - -%prep -%setup -q -n %{name} - -%build -%configure -%define cilmake make -f Makefile.cil -%cilmake cilversion machdep -%cilmake cillib NATIVECAML= -%cilmake cillib NATIVECAML=1 - -%install -rm -rf $RPM_BUILD_ROOT -%makeinstall - -%clean -rm -rf $RPM_BUILD_ROOT - - -%changelog -* Tue Aug 5 2003 Ben Liblit <liblit@cs.berkeley.edu> -- Initial build. |