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:  emacs
  13 BuildRequires:  evince
  14 BuildRequires:  gtksourceview2-devel
  15 BuildRequires:  ocaml
  16 BuildRequires:  ocaml-findlib-devel
  17 BuildRequires:  ocaml-graph-devel
  18 BuildRequires:  ocaml-lablgtk2-devel
  19 BuildRequires:  ocaml-lablgtk2-gtksourceview2-devel
  20 BuildRequires:  ocaml-sqlite-devel
  21 BuildRequires:  rubber
  22 BuildRequires:  sqlite3-devel
  23 BuildRequires:  xemacs
  24 Requires:       gtksourceview2
  25 %requires_eq    ocaml-runtime
  26 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  27
  28 %description
  29 Why3 is the next generation of the Why software verification platform.
  30 Why3 clearly separates the purely logical specification part from
  31 generation of verification conditions for programs. It features a rich
  32 library of proof task transformations that can be chained to produce a
  33 suitable input for a large set of theorem provers, including SMT
  34 solvers, TPTP provers, as well as interactive proof assistants.
  35
  36 %prep
  37 %setup -q
  38
  39 %build
  40 %configure \
  41         --enable-doc
  42
  43 %{__make}
  44
  45 %install
  46 rm -rf $RPM_BUILD_ROOT
  47
  48 %{__make} install \
  49         DESTDIR=$RPM_BUILD_ROOT
  50
  51 # Move the gtksourceview language file to the right place
  52 install -d $RPM_BUILD_ROOT%{_datadir}/gtksourceview-2.0
  53 mv $RPM_BUILD_ROOT%{_datadir}/%{name}/lang $RPM_BUILD_ROOT%{_datadir}/gtksourceview-2.0/language-specs
  54
  55 %clean
  56 rm -rf $RPM_BUILD_ROOT
  57
  58 %files
  59 %defattr(644,root,root,755)
  60 %doc LICENSE README doc/manual.pdf
  61 %attr(755,root,root) %{_bindir}/%{name}*
  62 %{_datadir}/%{name}
  63 %{_datadir}/gtksourceview-2.0/language-specs/why.lang
  64 %{_libdir}/%{name}