]> git.pld-linux.org Git - packages/CiaoDE.git/commitdiff
- new auto/ti/CiaoDE-1.14.2-0.1
authorJakub Bogusz <qboosh@pld-linux.org>
Mon, 9 Apr 2012 17:46:16 +0000 (17:46 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    CiaoDE-configure.patch -> 1.1
    CiaoDE.spec -> 1.1

CiaoDE-configure.patch [new file with mode: 0644]
CiaoDE.spec [new file with mode: 0644]

diff --git a/CiaoDE-configure.patch b/CiaoDE-configure.patch
new file mode 100644 (file)
index 0000000..196719f
--- /dev/null
@@ -0,0 +1,66 @@
+--- CiaoDE-1.14.2-13646/makedir/ciaosetup_modules/group_config.sh.orig 2011-07-08 11:46:00.000000000 +0200
++++ CiaoDE-1.14.2-13646/makedir/ciaosetup_modules/group_config.sh      2012-04-08 10:03:01.277155322 +0200
+@@ -17,7 +17,7 @@
+ EOF
+ register_command "configure"
+ do__configure() {
+-    run_config $*
++    run_config "$@"
+ }
+ register_command "config_prepare"
+ do__config_prepare() {
+@@ -26,7 +26,7 @@
+ }
+ register_command "user_config"
+ do__user_config() {
+-    run_config --silent=true --instype=src --sysavail=user $*
++    run_config --silent=true --instype=src --sysavail=user "$@"
+ }
+ register_command "menuconfig"
+@@ -50,13 +50,13 @@
+ #ABSSRC=${CIAODESRC}/${CIAOSRC}
+ RUNTIME_CHECKS=$RUNTIME_CHECKS
+ UNUSED_PRED_WARNINGS=$UNUSED_PRED_WARNINGS
+-CFLAGS=${EXTRA_CFLAGS}
+-LDFLAGS=${EXTRA_LDFLAGS}
++CFLAGS="${EXTRA_CFLAGS}"
++LDFLAGS="${EXTRA_LDFLAGS}"
+ EOF
+ }
+ run_config() {
+-    get_config_options $*
++    get_config_options "$@"
+     if [ x$HELP = x1 ] ; then
+       config_help
+@@ -111,11 +111,11 @@
+               HELP=1
+           elif expr $ARG : '\(--[^=][^=]*=..*\)' >/dev/null  ; then 
+               OPT=`expr $ARG : '--\([^=][^=]*\)=..*'|sed -e s:_:-:g`
+-              VAL=`expr $ARG : '--[^=][^=]*=\(..*\)'`
++              VAL="`expr $ARG : '--[^=][^=]*=\(..*\)'`"
+                 if [ x$OPT = xcflags ] ; then
+-                  EXTRA_CFLAGS=$VAL
++                  EXTRA_CFLAGS="$VAL"
+               elif [ x$OPT = xldflags ] ; then
+-                  EXTRA_LDFLAGS=$VAL
++                  EXTRA_LDFLAGS="$VAL"
+           # MAKEARG is undocumented because it is only used for debugging.
+               elif [ x$OPT = xmakearg ] ; then
+                   MAKEARG=$VAL
+--- CiaoDE-1.14.2-13646/makedir/ciaosetup_modules/command_registry.sh.orig     2011-07-08 11:46:00.000000000 +0200
++++ CiaoDE-1.14.2-13646/makedir/ciaosetup_modules/command_registry.sh  2012-04-08 11:12:44.777291111 +0200
+@@ -97,9 +97,9 @@
+       # For compatibility, register two versions of the command name,
+       # one with '_' other with '-'. Both do the same thing.
+       cmd2="`echo "$cmd" | sed -e 's/_/-/g'`" # replace _ by -
+-      echo "        ${cmd}) do__${cmd} "'$@'" ;;"
++      echo "        ${cmd}) do__${cmd} \""'$@'"\" ;;"
+       if [ "${cmd}" != "${cmd2}" ]; then
+-          echo "        ${cmd2}) do__${cmd} "'$@'" ;;"
++          echo "        ${cmd2}) do__${cmd} \""'$@'"\" ;;"
+       fi
+     done
+     echo "        "'*'") do__unknown "'$act'" ;;"
diff --git a/CiaoDE.spec b/CiaoDE.spec
new file mode 100644 (file)
index 0000000..7670464
--- /dev/null
@@ -0,0 +1,242 @@
+# TODO: finish emacs/xemacs
+#
+# Conditional build:
+%bcond_with    emacs   # Emacs mode
+%bcond_with    xemacs  # XEmacs mode
+%bcond_without java    # Java interface
+#
+Summary:       The Ciao Prolog development environment
+Summary(pl.UTF-8):     Środowisko programistyczne Ciao Prolog
+Name:          CiaoDE
+Version:       1.14.2
+Release:       0.1
+License:       LGPL (Ciao), GPL (CiaoPP, lpdoc)
+Group:         Development/Languages
+Source0:       http://www.clip.dia.fi.upm.es/Software/Ciao/packages/branches/1.14/13646/%{name}-%{version}-13646.tar.gz
+# Source0-md5: 11d0a41222314ae1be1b048a7888048e
+Patch0:                %{name}-configure.patch
+URL:           http://ciaohome.org/
+BuildRequires: gsl-devel
+BuildRequires: mysql-devel
+Requires:      coreutils
+BuildRoot:     %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
+
+%define                mver    1.14
+%define                emacs_sitestart_dir     %{_datadir}/emacs/site-lisp/site-start.d
+# FIXME
+%define                xemacs_sitestart_dir    %{_datadir}/xemacs-packages/lisp
+
+%description
+Ciao is next generation multi-paradigm programming environment with a
+unique set of features:
+ - A complete Prolog system, supporting ISO-Prolog.
+ - Support for both restricting and extending the language.
+ - Support for programming with functions, higher-order (with
+   predicate abstractions), constraints, and objects, as well as
+   feature terms (records), persistence, several control rules
+   (breadth-first search, iterative deepening, ...), concurrency
+   (threads/engines), a good base for distributed execution (agents),
+   and parallel execution. Libraries also support WWW programming,
+   sockets, external interfaces (C, Java, Tcl/Tk, relational
+   databases, etc.), etc.
+ - Support for programming in the large with a robust module/object
+   system etc.
+ - Support for programming in the small producing small executables
+   (including only those builtins used by the program) and for writing
+   scripts in Prolog.
+And more.
+
+%description -l pl.UTF-8
+Ciao to wieloparadygmatowe środowisko programistyczne nowej generacji
+o unikalnym połączeniu możliwości, m.in.:
+ - Pełny system Prologu z obsługą ISO-Prologu.
+ - Obsługa zarówno ograniczania, jak i rozszerzania języka.
+ - Obsługa programowania z funkcjami, wyższego poziomu (z abstrakcją
+   predykatów), ograniczeniami, obiektami, a także termami z cechami
+   (rekordami), trwałością danych, różnymi regułami sterowania,
+   współbieżnością (wątki/silniki), dobrą podstawą do wykonywania
+   rozproszonego (agenci) oraz równoległego; biblioteki obsługują
+   także programowanie WWW, gniazda, interfejsy zewnętrzne (C, Java,
+   Tcl/Tk, relacyjne bazy danych itd.) itd.
+ - Obsługą programowania w dużych środowiskach z potężnym systemem
+   modułów/obiektów itd.
+ - Obsługą programowania w małych środowiskach z tworzeniem małych
+   programów wynikowych (zawierających tylko funkcje wbudowane użyte w
+   programie) oraz pisania skryptów w Prologu.
+
+%prep
+%setup -q -n CiaoDE-%{version}-13646
+%patch0 -p1
+
+%build
+./ciaosetup configure \
+       --sysavail=all \
+       --instype=ins \
+       --prefix=%{_prefix} \
+       --mandir=%{_mandir} \
+       --infodir=%{_infodir} \
+       --docdir=%{_docdir}/CiaoDE \
+       --htmldir=%{_docdir}/CiaoDE/html \
+       --cflags="%{rpmcflags}" \
+       --ldflags="%{rpmldflags}" \
+       --stop_if_error=yes \
+       --update_bashrc=no \
+       --update_cshrc=no \
+       --update_dotemacs=no \
+       --update_dotxemasc=no \
+%if %{with emacs}
+       --install_emacs_support=yes \
+       --ciaomodeinitdir=%{emacs_sitestart_dir} \
+       --emacsinitfile=ciao-mode-init.el \
+%else
+       --install_emacs_support=no \
+%endif
+%if %{with xemacs}
+       --install_xemacs_support=yes \
+       --xemacsinitdir=%{xemacs_sitestart_dir} \
+       --xemacsinitfile=ciao-mode-init.el \
+%else
+       --install_xemacs_support=no \
+%endif
+       --with_gsl=yes \
+       --with_mysql=yes \
+       %{?with_java:--with_java_interface=yes}
+
+./ciaosetup build
+
+%install
+rm -rf $RPM_BUILD_ROOT
+
+BUILD_ROOT=$RPM_BUILD_ROOT \
+./ciaosetup install
+
+# sources
+%{__rm} $RPM_BUILD_ROOT%{_libdir}/ciao/ciao-%{mver}/library/{apll,concurrency,random,sha1,sockets}/*.[cho]
+%{__rm} $RPM_BUILD_ROOT%{_libdir}/ciao/ciao-%{mver}/library/{apll,concurrency,random,sockets}/Makefile
+
+install -d $RPM_BUILD_ROOT/etc/profile.d
+mv $RPM_BUILD_ROOT%{_libdir}/ciao/ciao-%{mver}/DOTprofile $RPM_BUILD_ROOT/etc/profile.d/ciao.sh
+mv $RPM_BUILD_ROOT%{_libdir}/ciao/ciao-%{mver}/DOTcshrc $RPM_BUILD_ROOT/etc/profile.d/ciao.csh
+%{__rm} $RPM_BUILD_ROOT%{_libdir}/ciao/DOT*
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+%files
+%defattr(644,root,root,755)
+%doc README
+%attr(755,root,root) %{_bindir}/checkline*
+%attr(755,root,root) %{_bindir}/ciao*
+%attr(755,root,root) %{_bindir}/cleandirs*
+%attr(755,root,root) %{_bindir}/compiler_output*
+%attr(755,root,root) %{_bindir}/fileinfo*
+%attr(755,root,root) %{_bindir}/get_deps*
+%attr(755,root,root) %{_bindir}/lpdoc*
+%attr(755,root,root) %{_bindir}/lpmake*
+%attr(755,root,root) %{_bindir}/pldiff*
+%attr(755,root,root) %{_bindir}/plindent*
+%attr(755,root,root) %{_bindir}/prolog
+%attr(755,root,root) %{_bindir}/show_asr*
+%attr(755,root,root) %{_bindir}/show_deps*
+%attr(755,root,root) %{_bindir}/synch_actions*
+%attr(755,root,root) %{_bindir}/viewpo*
+%attr(755,root,root) /etc/profile.d/ciao.csh
+%attr(755,root,root) /etc/profile.d/ciao.sh
+%dir %{_libdir}/ciao
+%dir %{_libdir}/ciao/ciao-%{mver}
+%{_libdir}/ciao/ciao-%{mver}/contrib
+%dir %{_libdir}/ciao/ciao-%{mver}/engine
+%attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/engine/ciaoengine*
+%{_libdir}/ciao/ciao-%{mver}/examples
+%{_libdir}/ciao/ciao-%{mver}/include
+%{_libdir}/ciao/ciao-%{mver}/lib
+%dir %{_libdir}/ciao/ciao-%{mver}/library
+%{_libdir}/ciao/ciao-%{mver}/library/NOCOMPILEFILES
+%{_libdir}/ciao/ciao-%{mver}/library/*.asr
+%{_libdir}/ciao/ciao-%{mver}/library/*.itf
+%{_libdir}/ciao/ciao-%{mver}/library/*.pl
+%{_libdir}/ciao/ciao-%{mver}/library/*.po
+# junk???
+%{_libdir}/ciao/ciao-%{mver}/library/davinci8Wznpg
+%{_libdir}/ciao/ciao-%{mver}/library/davinciQNZdYP
+%{_libdir}/ciao/ciao-%{mver}/library/actmods
+%{_libdir}/ciao/ciao-%{mver}/library/agent
+%{_libdir}/ciao/ciao-%{mver}/library/andorra
+%{_libdir}/ciao/ciao-%{mver}/library/andprolog
+%{_libdir}/ciao/ciao-%{mver}/library/andprolog_old
+%dir %{_libdir}/ciao/ciao-%{mver}/library/apll
+%{_libdir}/ciao/ciao-%{mver}/library/apll/*.asr
+%{_libdir}/ciao/ciao-%{mver}/library/apll/*.itf
+%{_libdir}/ciao/ciao-%{mver}/library/apll/*.pl
+%{_libdir}/ciao/ciao-%{mver}/library/apll/*.po
+%{_libdir}/ciao/ciao-%{mver}/library/apll/*_LINUX*.so
+%{_libdir}/ciao/ciao-%{mver}/library/argnames
+%{_libdir}/ciao/ciao-%{mver}/library/benchmarks
+%{_libdir}/ciao/ciao-%{mver}/library/bf
+%{_libdir}/ciao/ciao-%{mver}/library/byrdbox
+%{_libdir}/ciao/ciao-%{mver}/library/chr
+%{_libdir}/ciao/ciao-%{mver}/library/class
+%{_libdir}/ciao/ciao-%{mver}/library/clpq
+%{_libdir}/ciao/ciao-%{mver}/library/clpqr-common
+%{_libdir}/ciao/ciao-%{mver}/library/clpr
+%dir %{_libdir}/ciao/ciao-%{mver}/library/concurrency
+%{_libdir}/ciao/ciao-%{mver}/library/concurrency/*.asr
+%{_libdir}/ciao/ciao-%{mver}/library/concurrency/*.itf
+%{_libdir}/ciao/ciao-%{mver}/library/concurrency/*.pl
+%{_libdir}/ciao/ciao-%{mver}/library/concurrency/*.po
+%attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/library/concurrency/*_LINUX*.so
+%{_libdir}/ciao/ciao-%{mver}/library/concurrency/examples
+%{_libdir}/ciao/ciao-%{mver}/library/det_hook
+%{_libdir}/ciao/ciao-%{mver}/library/dialect
+%{_libdir}/ciao/ciao-%{mver}/library/emacs
+%{_libdir}/ciao/ciao-%{mver}/library/expander
+%{_libdir}/ciao/ciao-%{mver}/library/factsdb
+%{_libdir}/ciao/ciao-%{mver}/library/fake
+%{_libdir}/ciao/ciao-%{mver}/library/fdtypes
+%{_libdir}/ciao/ciao-%{mver}/library/file_locks
+%{_libdir}/ciao/ciao-%{mver}/library/freeze
+%{_libdir}/ciao/ciao-%{mver}/library/fsyntax
+%{_libdir}/ciao/ciao-%{mver}/library/fuzzy
+%{_libdir}/ciao/ciao-%{mver}/library/graphs
+%{_libdir}/ciao/ciao-%{mver}/library/id
+%{_libdir}/ciao/ciao-%{mver}/library/indexer
+%{_libdir}/ciao/ciao-%{mver}/library/interface
+%{_libdir}/ciao/ciao-%{mver}/library/javall
+%{_libdir}/ciao/ciao-%{mver}/library/librowser
+%{_libdir}/ciao/ciao-%{mver}/library/lpsettings_based_app
+%{_libdir}/ciao/ciao-%{mver}/library/make
+%{_libdir}/ciao/ciao-%{mver}/library/menu
+%{_libdir}/ciao/ciao-%{mver}/library/netscape
+%{_libdir}/ciao/ciao-%{mver}/library/objects
+%{_libdir}/ciao/ciao-%{mver}/library/persdb
+%{_libdir}/ciao/ciao-%{mver}/library/persdb_mysql
+%{_libdir}/ciao/ciao-%{mver}/library/persdb_sql_common
+%{_libdir}/ciao/ciao-%{mver}/library/pillow
+%dir %{_libdir}/ciao/ciao-%{mver}/library/random
+%{_libdir}/ciao/ciao-%{mver}/library/random/*.asr
+%{_libdir}/ciao/ciao-%{mver}/library/random/*.itf
+%{_libdir}/ciao/ciao-%{mver}/library/random/*.pl
+%{_libdir}/ciao/ciao-%{mver}/library/random/*.po
+%attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/library/random/*_LINUX*.so
+%dir %{_libdir}/ciao/ciao-%{mver}/library/sha1
+%{_libdir}/ciao/ciao-%{mver}/library/sha1/*.asr
+%{_libdir}/ciao/ciao-%{mver}/library/sha1/*.itf
+%{_libdir}/ciao/ciao-%{mver}/library/sha1/*.pl
+%{_libdir}/ciao/ciao-%{mver}/library/sha1/*.po
+%attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/library/sha1/*_LINUX*.so
+%{_libdir}/ciao/ciao-%{mver}/library/sha1/examples
+%{_libdir}/ciao/ciao-%{mver}/library/show_trans
+%dir %{_libdir}/ciao/ciao-%{mver}/library/sockets
+%{_libdir}/ciao/ciao-%{mver}/library/sockets/*.asr
+%{_libdir}/ciao/ciao-%{mver}/library/sockets/*.itf
+%{_libdir}/ciao/ciao-%{mver}/library/sockets/*.pl
+%{_libdir}/ciao/ciao-%{mver}/library/sockets/*.po
+%attr(755,root,root) %{_libdir}/ciao/ciao-%{mver}/library/sockets/*_LINUX*.so
+%{_libdir}/ciao/ciao-%{mver}/library/sockets/examples
+%{_libdir}/ciao/ciao-%{mver}/library/symfnames
+%{_libdir}/ciao/ciao-%{mver}/library/tcltk
+%{_libdir}/ciao/ciao-%{mver}/library/toplevel
+%{_libdir}/ciao/ciao-%{mver}/library/tracing
+%{_libdir}/ciao/ciao-%{mver}/library/when
+%{_libdir}/ciao/ciao-%{mver}/library/xrefs
+%{_includedir}/ciao_prolog.h
This page took 0.206294 seconds and 4 git commands to generate.