why3.spec

   1 Summary:        Software verification platform
   2 Name:           why3
   3 Version:        0.73
   4 Release:        1
   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 %prep
  35 %setup -q
  36
  37 %build
  38 %configure \
  39         --enable-doc
  40
  41 %{__make}
  42
  43 %install
  44 rm -rf $RPM_BUILD_ROOT
  45
  46 %{__make} install \
  47         DESTDIR=$RPM_BUILD_ROOT
  48
  49 # Move the gtksourceview language file to the right place
  50 install -d $RPM_BUILD_ROOT%{_datadir}/gtksourceview-2.0
  51 mv $RPM_BUILD_ROOT%{_datadir}/%{name}/lang $RPM_BUILD_ROOT%{_datadir}/gtksourceview-2.0/language-specs
  52
  53 %clean
  54 rm -rf $RPM_BUILD_ROOT
  55
  56 %files
  57 %defattr(644,root,root,755)
  58 %doc LICENSE README doc/manual.pdf
  59 %attr(755,root,root) %{_bindir}/%{name}*
  60 %{_datadir}/%{name}
  61 %{_datadir}/gtksourceview-2.0/language-specs/why.lang
  62 %{_libdir}/%{name}