uppaal.spec

   1 Summary:        Environment for modeling, simulation and verification of real-time systems
   2 Summary(pl.UTF-8):      Środowisko do modelowania, symulacji i weryfikacji systemów czasu rzeczywistego
   3 Name:           uppaal
   4 Version:        4.0.7
   5 Release:        1
   6 License:        free for academia and private use (non-distributable)
   7 Group:          Development/Tools
   8 # http://www.docs.uu.se/docs/rtmv/uppaal/download.html
   9 Source0:        %{name}-%{version}-aca.zip
  10 # NoSource0-md5:        20efdc9456c5934270ef6301bb1b88ea
  11 NoSource:       0
  12 # Academic URL:         http://www.uppaal.org/
  13 URL:            http://www.uppaal.com/
  14 BuildRequires:  unzip
  15 Requires:       jre > 1.5
  16 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  17
  18 %description
  19 Uppaal is an integrated tool environment for modeling, validation and
  20 verification of real-time systems modeled as networks of timed
  21 automata, extended with data types (bounded integers, arrays, etc.).
  22
  23 %description -l pl.UTF-8
  24 Uppaal to zintegrowane środowisko narzędzi do modelowania, sprawdzania
  25 poprawności i weryfikacji systemów czasu rzeczywistego modelowanych
  26 jako sieci automatów czasowych, rozszerzonych o typy danych
  27 (ograniczone liczby całkowite, tablice itp.).
  28
  29 %prep
  30 %setup -q
  31
  32 %install
  33 rm -rf $RPM_BUILD_ROOT
  34 install -d $RPM_BUILD_ROOT{%{_bindir},%{_libdir}/%{name}/{lib,demo,bin-Linux}}
  35 install -d $RPM_BUILD_ROOT{%{_examplesdir}/%{name},%{_mandir}/man1}
  36
  37 install man/man1/* $RPM_BUILD_ROOT%{_mandir}/man1
  38 install uppaal.jar $RPM_BUILD_ROOT%{_libdir}/%{name}
  39 install demo/* $RPM_BUILD_ROOT%{_libdir}/%{name}/demo
  40 install lib/* $RPM_BUILD_ROOT%{_libdir}/%{name}/lib
  41 install bin-Linux/* $RPM_BUILD_ROOT%{_libdir}/%{name}/bin-Linux
  42
  43 cat <<EOF >$RPM_BUILD_ROOT%{_bindir}/uppaal
  44 #!/bin/sh
  45
  46 JAR=%{_libdir}/%{name}/uppaal.jar
  47 ENGINE=%{_libdir}/%{name}/bin-Linux
  48 if [ "$DISPLAY" = ":0.0" ]; then
  49         java -jar \$JAR -enginePath \$ENGINE \$*
  50 else
  51         java -jar \$JAR -enginePath \$ENGINE -antialias off \$*
  52 fi
  53 EOF
  54
  55 %clean
  56 rm -rf $RPM_BUILD_ROOT
  57
  58 %files
  59 %defattr(644,root,root,755)
  60 %doc readme.txt
  61 %attr(755,root,root) %{_bindir}/*
  62 %dir %{_libdir}/%{name}
  63 %dir %{_libdir}/%{name}/bin-Linux
  64 %dir %{_libdir}/%{name}/demo
  65 %dir %{_libdir}/%{name}/lib
  66 %{_libdir}/%{name}/*.jar
  67 %{_libdir}/%{name}/demo/*
  68 %{_libdir}/%{name}/lib/*.jar
  69 %attr(755, root, root) %{_libdir}/%{name}/bin-Linux/*
  70 %{_mandir}/man1/*