gprolog.spec

   1 Summary:        GNU Prolog - a free Prolog compiler with constraint solving over Finite Domains
   2 Summary(es.UTF-8):      Prolog de GNU - un compilador libre de Prolog con resolución de ligaduras sobre dominios finitos
   3 Summary(pl.UTF-8):      GNU Prolog - wolnodostępny kompilator języka Prolog
   4 Summary(pt_BR.UTF-8):   O Prolog GNU
   5 Name:           gprolog
   6 Version:        1.5.0
   7 Release:        1
   8 License:        LGPL v3+ or GPL v2+
   9 Group:          Development/Languages
  10 Source0:        http://www.gprolog.org/%{name}-%{version}.tar.gz
  11 # Source0-md5:  d656545898e20297a7f7bf672c0da437
  12 URL:            http://www.gprolog.org/
  13 BuildRequires:  autoconf >= 2.52
  14 BuildRequires:  automake
  15 ExclusiveArch:  %{ix86} %{x8664} alpha %{arm} aarch64 ppc
  16 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  17
  18 %description
  19 GNU Prolog is a native Prolog compiler with constraint solving over
  20 finite domains (FD) developed by Daniel Diaz
  21 (http://loco.inria.fr/~diaz/).
  22
  23 GNU Prolog is a very efficient native compiler producing (small)
  24 stand-alone executables. GNU-Prolog also offers a classical
  25 top-level+debugger.
  26
  27 GNU Prolog conforms to the ISO standard for Prolog but also includes a
  28 lot of extensions (global variables, DCG, sockets, OS interface,...).
  29
  30 GNU Prolog also includes a powerful constraint solver over finite
  31 domains with many predefined constraints+heuristics.
  32
  33 %description -l es.UTF-8
  34 GNU Prolog es un compilador nativo de Prolog con resolución de
  35 ligaduras sobre dominios finitos (FD: Finite Domains), desarrollado
  36 por Daniel Diaz (http://loco.inria.fr/~diaz/).
  37
  38 GNU Prolog es un compilador nativo muy eficiente que produce
  39 ejecutables independientes (y pequeños). GNU Prolog también ofrece un
  40 clásico nivel alto y un depurador.
  41
  42 GNU Prolog implementa el estándar ISO para Prolog, sin embargo incluye
  43 un montón de extensiones (variables globales, DCG, sockets, inferfaz
  44 de SO, ...).
  45
  46 GNU Prolog también habilita resolver ligaduras sobre dominios finitos
  47 con varias ligaduras predefinidas y unas heuristicas.
  48
  49 %description -l pl.UTF-8
  50 GNU Prolog jest bezpośrednim kompilatorem Prologu opartym na
  51 rozwiązywaniu problemów z ograniczeniami z dziedziną skończoną (FD),
  52 tworzonym przez Daniela Diaza (http://loco.inria.fr/~diaz/)
  53
  54 GNU Prolog jest bardzo wydajnyym bezpośrednim kompilatorem tworzącym
  55 małe samodzielne programy wykonywalne. GNU-Prolog oferuje też
  56 klasyczny interfejs wysokiego poziomu oraz debugger.
  57
  58 GNU Prolog jest zgodny z standardem ISO języka Prolog oraz oferuje
  59 dodatkowo kilka rozszerzeń (zmienne globalne, DCG, gniazda, interfejs
  60 do systemu operacyjnego...).
  61
  62 GNU Prolog zawiera też poręczny moduł rozwiązywania problemów z
  63 ograniczeniami z dziedziną skończoną, z wieloma predefiniowanymi
  64 ograniczeniami i heurystykami.
  65
  66 %description -l pt_BR.UTF-8
  67 O GNU Prolog é um compilador nativo Prolog.
  68
  69 %package examples
  70 Summary:        Examples for gprolog
  71 Summary(pl.UTF-8):      Przykłady dla gprologa
  72 Group:          Development/Languages
  73 Requires:       %{name} = %{version}-%{release}
  74 Provides:       %{name}-examples = %{version}-%{release}
  75
  76 %description examples
  77 Examples for gprolog.
  78
  79 %description examples -l pl.UTF-8
  80 Przykłady dla gprologa.
  81
  82 %prep
  83 %setup -q
  84
  85 %build
  86 cd src
  87 %{__aclocal}
  88 %{__autoconf}
  89 %configure \
  90         --prefix=$RPM_BUILD_ROOT \
  91         --with-install-dir=$RPM_BUILD_ROOT%{_libdir}/%{name}-%{version} \
  92         --with-c-flags="%{rpmcflags}" \
  93         --without-links-dir \
  94         --with-examples-dir=$RPM_BUILD_ROOT%{_examplesdir}/%{name}-%{version} \
  95         --without-doc-dir \
  96         --without-html-dir
  97 %{__make}
  98
  99 %install
 100 rm -rf $RPM_BUILD_ROOT
 101
 102 %{__make} -C src install
 103
 104 install -d $RPM_BUILD_ROOT%{_bindir}
 105 cd $RPM_BUILD_ROOT%{_libdir}/%{name}-%{version}/bin
 106 for i in *; do
 107     ln -s ../%{_lib}/%{name}-%{version}/bin/$i $RPM_BUILD_ROOT%{_bindir}/$i
 108 done
 109
 110 %clean
 111 rm -rf $RPM_BUILD_ROOT
 112
 113 %files
 114 %defattr(644,root,root,755)
 115 # COPYING contains also licensing summary
 116 %doc COPYING ChangeLog NEWS README doc/gprolog.ps doc/gprolog.pdf
 117 %attr(755,root,root) %{_bindir}/fd2c
 118 %attr(755,root,root) %{_bindir}/gplc
 119 %attr(755,root,root) %{_bindir}/gprolog
 120 %attr(755,root,root) %{_bindir}/hexgplc
 121 %attr(755,root,root) %{_bindir}/ma2asm
 122 %attr(755,root,root) %{_bindir}/pl2wam
 123 %attr(755,root,root) %{_bindir}/wam2ma
 124 %dir %{_libdir}/%{name}-%{version}
 125 %dir %{_libdir}/%{name}-%{version}/bin
 126 %attr(755,root,root) %{_libdir}/%{name}-%{version}/bin/*
 127 %{_libdir}/%{name}-%{version}/include
 128 %{_libdir}/%{name}-%{version}/lib
 129
 130 %files examples
 131 %defattr(644,root,root,755)
 132 %{_examplesdir}/%{name}-%{version}