File Frama-C.spec of Package Frama-C

Name:           Frama-C
# List of additional build dependencies
#BuildRequires:  gcc-c++ libxml2-devel
BuildRequires: ocaml >= 3.11
BuildRequires: lablgtk >= 2.12
BuildRequires: make >= 3.81
#BuildRequires: pkgconfig  
#BuildRequires: gtk2-devel  
#BuildRequires: libglade2-devel  
#BuildRequires: librsvg2-devel  
#BuildRequires: libgnomecanvas-devel  
#BuildRequires: gtksourceview-devel  
   
Version:        Lithium_20081201
Release:        1
License:        LGPL v2 or later
Source:         frama-c-Lithium-20081201+dev.tar.gz
Group:          Productivity/Other
Summary:        Frama-C

BuildRoot:      %{_tmppath}/%{name}-%{version}-build

%description
Frama-C


%prep
%setup -q -n frama-c-Lithium-20081201+dev

%build

export PATH=/opt/frama-c/bin:$PATH

%configure

make

    

%install

export PATH=/opt/frama-c/bin:$PATH

make DESTDIR=%buildroot install



# Write a proper %%files section and remove these two commands and
# the '-f filelist' option to %%files
echo '%%defattr(-,root,root)' >filelist
find %buildroot -type f -printf '/%%P*\n' >>filelist


%clean
rm -rf %buildroot

%files -f filelist
%defattr(-,root,root)

# This is a place for a proper filelist:
# /usr/bin/Frama-C
# You can also use shell wildcards:
# /usr/share/Frama-C/*
# This installs documentation files from the top build directory
# into /usr/share/doc/...
# %doc README COPYING
# The advantage of using a real filelist instead of the '-f filelist' trick is
# that rpmbuild will detect if the install section forgets to install
# something that is listed here


%changelog
* Fri Jan 16 2009 benjamin.monate@cea.fr
- packaged Frama-C version Lithium-20081201 using the buildservice spec file wizard