why3.spec

   1 Summary:        Software verification platform
   2 Name:           why3
   3 Version:        0.73
   4 Release:        2
   5 Group:          Applications
   6 License:        LGPLv2 with exceptions
   7 Source0:        https://gforge.inria.fr/frs/download.php/31257/%{name}-%{version}.tar.gz
   8 # Source0-md5:  8994f147b7fc4084da46e81693e044bb
   9 URL:            http://why3.lri.fr/
  10 BuildRequires:  camlp5
  11 BuildRequires:  coq
  12 BuildRequires:  evince
  13 BuildRequires:  gtksourceview2-devel
  14 BuildRequires:  ocaml
  15 BuildRequires:  ocaml-findlib-devel
  16 BuildRequires:  ocaml-graph-devel
  17 BuildRequires:  ocaml-lablgtk2-devel
  18 BuildRequires:  ocaml-lablgtk2-gtksourceview2-devel
  19 BuildRequires:  ocaml-sqlite-devel
  20 BuildRequires:  rubber
  21 BuildRequires:  sqlite3-devel
  22 Requires:       gtksourceview2
  23 %requires_eq    ocaml-runtime
  24 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  25
  26 %description
  27 Why3 is the next generation of the Why software verification platform.
  28 Why3 clearly separates the purely logical specification part from
  29 generation of verification conditions for programs. It features a rich
  30 library of proof task transformations that can be chained to produce a
  31 suitable input for a large set of theorem provers, including SMT
  32 solvers, TPTP provers, as well as interactive proof assistants.
  33
  34 %package examples
  35 Summary:        Example problems for why3
  36 Group:          Applications
  37 Requires:       %{name} = %{version}-%{release}
  38
  39 %description examples
  40 Example problems for why3.
  41
  42 %prep
  43 %setup -q
  44
  45 %build
  46 %configure \
  47         --enable-doc
  48
  49 %{__make}
  50
  51 %install
  52 rm -rf $RPM_BUILD_ROOT
  53 install -d $RPM_BUILD_ROOT/%{_examplesdir}/%{name}-%{version}
  54
  55 %{__make} install \
  56         DESTDIR=$RPM_BUILD_ROOT
  57
  58 # Move the gtksourceview language file to the right place
  59 install -d $RPM_BUILD_ROOT%{_datadir}/gtksourceview-2.0
  60 mv $RPM_BUILD_ROOT%{_datadir}/%{name}/lang $RPM_BUILD_ROOT%{_datadir}/gtksourceview-2.0/language-specs
  61
  62 cp -a examples/* $RPM_BUILD_ROOT/%{_examplesdir}/%{name}-%{version}
  63
  64 %clean
  65 rm -rf $RPM_BUILD_ROOT
  66
  67 %files
  68 %defattr(644,root,root,755)
  69 %doc LICENSE README doc/manual.pdf
  70 %attr(755,root,root) %{_bindir}/%{name}*
  71 %{_datadir}/%{name}
  72 %{_datadir}/gtksourceview-2.0/language-specs/why.lang
  73 %{_libdir}/%{name}
  74
  75 %files examples
  76 %defattr(644,root,root,755)
  77 %{_examplesdir}/%{name}-%{version}