CiaoDE.spec

   1 # TODO: finish emacs/xemacs
   2 #
   3 # Conditional build:
   4 %bcond_with     emacs   # Emacs mode
   5 %bcond_with     xemacs  # XEmacs mode
   6 %bcond_without  java    # Java interface
   7 #
   8 Summary:        The Ciao Prolog development environment
   9 Summary(pl.UTF-8):      Środowisko programistyczne Ciao Prolog
  10 Name:           CiaoDE
  11 Version:        1.14.2
  12 Release:        1
  13 License:        LGPL (Ciao), GPL (CiaoPP, lpdoc)
  14 Group:          Development/Languages
  15 Source0:        http://ciao-lang.org/packages/1.14/13646/%{name}-%{version}-13646.tar.gz
  16 # Source0-md5:  11d0a41222314ae1be1b048a7888048e
  17 Patch0:         %{name}-configure.patch
  18 Patch1:         %{name}-lib64.patch
  19 URL:            http://ciao-lang.org/
  20 BuildRequires:  gsl-devel
  21 BuildRequires:  mysql-devel
  22 Requires:       coreutils
  23 BuildRoot:      %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
  24
  25 %define         mver    1.14
  26 %define         emacs_sitestart_dir     %{_datadir}/emacs/site-lisp/site-start.d
  27 # FIXME
  28 %define         xemacs_sitestart_dir    %{_datadir}/xemacs-packages/lisp
  29
  30 %description
  31 Ciao is next generation multi-paradigm programming environment with a
  32 unique set of features:
  33  - A complete Prolog system, supporting ISO-Prolog.
  34  - Support for both restricting and extending the language.
  35  - Support for programming with functions, higher-order (with
  36    predicate abstractions), constraints, and objects, as well as
  37    feature terms (records), persistence, several control rules
  38    (breadth-first search, iterative deepening, ...), concurrency
  39    (threads/engines), a good base for distributed execution (agents),
  40    and parallel execution. Libraries also support WWW programming,
  41    sockets, external interfaces (C, Java, Tcl/Tk, relational
  42    databases, etc.), etc.
  43  - Support for programming in the large with a robust module/object
  44    system etc.
  45  - Support for programming in the small producing small executables
  46    (including only those builtins used by the program) and for writing
  47    scripts in Prolog.
  48 And more.
  49
  50 %description -l pl.UTF-8
  51 Ciao to wieloparadygmatowe środowisko programistyczne nowej generacji
  52 o unikalnym połączeniu możliwości, m.in.:
  53  - Pełny system Prologu z obsługą ISO-Prologu.
  54  - Obsługa zarówno ograniczania, jak i rozszerzania języka.
  55  - Obsługa programowania z funkcjami, wyższego poziomu (z abstrakcją
  56    predykatów), ograniczeniami, obiektami, a także termami z cechami
  57    (rekordami), trwałością danych, różnymi regułami sterowania,
  58    współbieżnością (wątki/silniki), dobrą podstawą do wykonywania
  59    rozproszonego (agenci) oraz równoległego; biblioteki obsługują
  60    także programowanie WWW, gniazda, interfejsy zewnętrzne (C, Java,
  61    Tcl/Tk, relacyjne bazy danych itd.) itd.
  62  - Obsługą programowania w dużych środowiskach z potężnym systemem
  63    modułów/obiektów itd.
  64  - Obsługą programowania w małych środowiskach z tworzeniem małych
  65    programów wynikowych (zawierających tylko funkcje wbudowane użyte w
  66    programie) oraz pisania skryptów w Prologu.
  67
  68 %prep
  69 %setup -q -n CiaoDE-%{version}-13646
  70 %patch0 -p1
  71 %ifarch %{x8664}
  72 %patch1 -p1
  73 %endif
  74
  75 %build
  76 ./ciaosetup configure \
  77         --sysavail=all \
  78         --instype=ins \
  79         --prefix=%{_prefix} \
  80         --mandir=%{_mandir} \
  81         --infodir=%{_infodir} \
  82         --docdir=%{_docdir}/CiaoDE \
  83         --htmldir=%{_docdir}/CiaoDE/html \
  84         --cflags="%{rpmcflags}" \
  85         --ldflags="%{rpmldflags}" \
  86         --stop_if_error=yes \
  87         --update_bashrc=no \
  88         --update_cshrc=no \
  89         --update_dotemacs=no \
  90         --update_dotxemasc=no \
  91 %if %{with emacs}
  92         --install_emacs_support=yes \
  93         --ciaomodeinitdir=%{emacs_sitestart_dir} \
  94         --emacsinitfile=ciao-mode-init.el \
  95 %else
  96         --install_emacs_support=no \
  97 %endif
  98 %if %{with xemacs}
  99         --install_xemacs_support=yes \
 100         --xemacsinitdir=%{xemacs_sitestart_dir} \
 101         --xemacsinitfile=ciao-mode-init.el \
 102 %else
 103         --install_xemacs_support=no \
 104 %endif
 105         --with_gsl=yes \
 106         --with_mysql=yes \
 107         %{?with_java:--with_java_interface=yes}
 108
 109 ./ciaosetup build
 110
 111 %install
 112 rm -rf $RPM_BUILD_ROOT
 113
 114 BUILD_ROOT=$RPM_BUILD_ROOT \
 115 ./ciaosetup install
 116
 117 # sources
 118 %{__rm} $RPM_BUILD_ROOT%{_libdir}/ciao/ciao-%{mver}/library/{apll,concurrency,random,sha1,sockets}/*.[cho]
 119 %{__rm} $RPM_BUILD_ROOT%{_libdir}/ciao/ciao-%{mver}/library/{apll,concurrency,random,sockets}/Makefile
 120
 121 install -d $RPM_BUILD_ROOT/etc/profile.d
 122 mv $RPM_BUILD_ROOT%{_libdir}/ciao/ciao-%{mver}/DOTprofile $RPM_BUILD_ROOT/etc/profile.d/ciao.sh
 123 mv $RPM_BUILD_ROOT%{_libdir}/ciao/ciao-%{mver}/DOTcshrc $RPM_BUILD_ROOT/etc/profile.d/ciao.csh
 124 %{__rm} $RPM_BUILD_ROOT%{_libdir}/ciao/DOT*
 125
 126 %clean
 127 rm -rf $RPM_BUILD_ROOT
 128
 129 %files
 130 %defattr(644,root,root,755)
 131 %doc README
 132 %attr(755,root,root) %{_bindir}/checkline*
 133 %attr(755,root,root) %{_bindir}/ciao*
 134 %attr(755,root,root) %{_bindir}/cleandirs*
 135 %attr(755,root,root) %{_bindir}/compiler_output*
 136 %attr(755,root,root) %{_bindir}/fileinfo*
 137 %attr(755,root,root) %{_bindir}/get_deps*
 138 %attr(755,root,root) %{_bindir}/lpdoc*
 139 %attr(755,root,root) %{_bindir}/lpmake*
 140 %attr(755,root,root) %{_bindir}/pldiff*
 141 %attr(755,root,root) %{_bindir}/plindent*
 142 %attr(755,root,root) %{_bindir}/prolog
 143 %attr(755,root,root) %{_bindir}/show_asr*
 144 %attr(755,root,root) %{_bindir}/show_deps*
 145 %attr(755,root,root) %{_bindir}/synch_actions*
 146 %attr(755,root,root) %{_bindir}/viewpo*
 147 %attr(755,root,root) /etc/profile.d/ciao.csh
 148 %attr(755,root,root) /etc/profile.d/ciao.sh
 149 %dir %{_libdir}/ciao
 150 %dir %{_libdir}/ciao/ciao-%{mver}
 151 %{_libdir}/ciao/ciao-%{mver}/contrib
 152 %dir %{_libdir}/ciao/ciao-%{mver}/engine
 153 %attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/engine/ciaoengine*
 154 %{_libdir}/ciao/ciao-%{mver}/examples
 155 %{_libdir}/ciao/ciao-%{mver}/include
 156 %{_libdir}/ciao/ciao-%{mver}/lib
 157 %dir %{_libdir}/ciao/ciao-%{mver}/library
 158 %{_libdir}/ciao/ciao-%{mver}/library/NOCOMPILEFILES
 159 %{_libdir}/ciao/ciao-%{mver}/library/*.asr
 160 %{_libdir}/ciao/ciao-%{mver}/library/*.itf
 161 %{_libdir}/ciao/ciao-%{mver}/library/*.pl
 162 %{_libdir}/ciao/ciao-%{mver}/library/*.po
 163 # junk???
 164 %{_libdir}/ciao/ciao-%{mver}/library/davinci8Wznpg
 165 %{_libdir}/ciao/ciao-%{mver}/library/davinciQNZdYP
 166 %{_libdir}/ciao/ciao-%{mver}/library/actmods
 167 %{_libdir}/ciao/ciao-%{mver}/library/agent
 168 %{_libdir}/ciao/ciao-%{mver}/library/andorra
 169 %{_libdir}/ciao/ciao-%{mver}/library/andprolog
 170 %{_libdir}/ciao/ciao-%{mver}/library/andprolog_old
 171 %dir %{_libdir}/ciao/ciao-%{mver}/library/apll
 172 %{_libdir}/ciao/ciao-%{mver}/library/apll/*.asr
 173 %{_libdir}/ciao/ciao-%{mver}/library/apll/*.itf
 174 %{_libdir}/ciao/ciao-%{mver}/library/apll/*.pl
 175 %{_libdir}/ciao/ciao-%{mver}/library/apll/*.po
 176 %{_libdir}/ciao/ciao-%{mver}/library/apll/*_LINUX*.so
 177 %{_libdir}/ciao/ciao-%{mver}/library/argnames
 178 %{_libdir}/ciao/ciao-%{mver}/library/benchmarks
 179 %{_libdir}/ciao/ciao-%{mver}/library/bf
 180 %{_libdir}/ciao/ciao-%{mver}/library/byrdbox
 181 %{_libdir}/ciao/ciao-%{mver}/library/chr
 182 %{_libdir}/ciao/ciao-%{mver}/library/class
 183 %{_libdir}/ciao/ciao-%{mver}/library/clpq
 184 %{_libdir}/ciao/ciao-%{mver}/library/clpqr-common
 185 %{_libdir}/ciao/ciao-%{mver}/library/clpr
 186 %dir %{_libdir}/ciao/ciao-%{mver}/library/concurrency
 187 %{_libdir}/ciao/ciao-%{mver}/library/concurrency/*.asr
 188 %{_libdir}/ciao/ciao-%{mver}/library/concurrency/*.itf
 189 %{_libdir}/ciao/ciao-%{mver}/library/concurrency/*.pl
 190 %{_libdir}/ciao/ciao-%{mver}/library/concurrency/*.po
 191 %attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/library/concurrency/*_LINUX*.so
 192 %{_libdir}/ciao/ciao-%{mver}/library/concurrency/examples
 193 %{_libdir}/ciao/ciao-%{mver}/library/det_hook
 194 %{_libdir}/ciao/ciao-%{mver}/library/dialect
 195 %{_libdir}/ciao/ciao-%{mver}/library/emacs
 196 %{_libdir}/ciao/ciao-%{mver}/library/expander
 197 %{_libdir}/ciao/ciao-%{mver}/library/factsdb
 198 %{_libdir}/ciao/ciao-%{mver}/library/fake
 199 %{_libdir}/ciao/ciao-%{mver}/library/fdtypes
 200 %{_libdir}/ciao/ciao-%{mver}/library/file_locks
 201 %{_libdir}/ciao/ciao-%{mver}/library/freeze
 202 %{_libdir}/ciao/ciao-%{mver}/library/fsyntax
 203 %{_libdir}/ciao/ciao-%{mver}/library/fuzzy
 204 %{_libdir}/ciao/ciao-%{mver}/library/graphs
 205 %{_libdir}/ciao/ciao-%{mver}/library/id
 206 %{_libdir}/ciao/ciao-%{mver}/library/indexer
 207 %{_libdir}/ciao/ciao-%{mver}/library/interface
 208 %{_libdir}/ciao/ciao-%{mver}/library/javall
 209 %{_libdir}/ciao/ciao-%{mver}/library/librowser
 210 %{_libdir}/ciao/ciao-%{mver}/library/lpsettings_based_app
 211 %{_libdir}/ciao/ciao-%{mver}/library/make
 212 %{_libdir}/ciao/ciao-%{mver}/library/menu
 213 %{_libdir}/ciao/ciao-%{mver}/library/netscape
 214 %{_libdir}/ciao/ciao-%{mver}/library/objects
 215 %{_libdir}/ciao/ciao-%{mver}/library/persdb
 216 %{_libdir}/ciao/ciao-%{mver}/library/persdb_mysql
 217 %{_libdir}/ciao/ciao-%{mver}/library/persdb_sql_common
 218 %{_libdir}/ciao/ciao-%{mver}/library/pillow
 219 %dir %{_libdir}/ciao/ciao-%{mver}/library/random
 220 %{_libdir}/ciao/ciao-%{mver}/library/random/*.asr
 221 %{_libdir}/ciao/ciao-%{mver}/library/random/*.itf
 222 %{_libdir}/ciao/ciao-%{mver}/library/random/*.pl
 223 %{_libdir}/ciao/ciao-%{mver}/library/random/*.po
 224 %attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/library/random/*_LINUX*.so
 225 %dir %{_libdir}/ciao/ciao-%{mver}/library/sha1
 226 %{_libdir}/ciao/ciao-%{mver}/library/sha1/*.asr
 227 %{_libdir}/ciao/ciao-%{mver}/library/sha1/*.itf
 228 %{_libdir}/ciao/ciao-%{mver}/library/sha1/*.pl
 229 %{_libdir}/ciao/ciao-%{mver}/library/sha1/*.po
 230 %attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/library/sha1/*_LINUX*.so
 231 %{_libdir}/ciao/ciao-%{mver}/library/sha1/examples
 232 %{_libdir}/ciao/ciao-%{mver}/library/show_trans
 233 %dir %{_libdir}/ciao/ciao-%{mver}/library/sockets
 234 %{_libdir}/ciao/ciao-%{mver}/library/sockets/*.asr
 235 %{_libdir}/ciao/ciao-%{mver}/library/sockets/*.itf
 236 %{_libdir}/ciao/ciao-%{mver}/library/sockets/*.pl
 237 %{_libdir}/ciao/ciao-%{mver}/library/sockets/*.po
 238 %attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/library/sockets/*_LINUX*.so
 239 %{_libdir}/ciao/ciao-%{mver}/library/sockets/examples
 240 %{_libdir}/ciao/ciao-%{mver}/library/symfnames
 241 %{_libdir}/ciao/ciao-%{mver}/library/tcltk
 242 %{_libdir}/ciao/ciao-%{mver}/library/toplevel
 243 %{_libdir}/ciao/ciao-%{mver}/library/tracing
 244 %{_libdir}/ciao/ciao-%{mver}/library/when
 245 %{_libdir}/ciao/ciao-%{mver}/library/xrefs
 246 %{_includedir}/ciao_prolog.h