%define name gprolog %define version 1.2.16 %define release 3mdk Name: %{name} Summary: GNU Prolog is a free Prolog Version: %{version} Release: %{release} # http://www.gnu.org/software/prolog URL: http://pauillac.inria.fr/~diaz/gnu-prolog/ # ftp://ftp.inria.fr/INRIA/Projects/contraintes/gnu-prolog/%{name}-%{version}.tar.bz2 Source: ftp://ftp.gnu.org/gnu/gprolog/%{name}-%{version}.tar.bz2 Source4: %{name}.menu Patch0: gprolog-1.2.16-x86_64.patch.bz2 Group: Development/Other Packager: Pixel <pixel@mandrakesoft.com> BuildRoot: %{_tmppath}/%{name} ExclusiveArch: %ix86 x86_64 ppc License: GPL %description GNU Prolog is a native Prolog compiler with constraint solving over finite domains (FD) developed by Daniel Diaz. Last information about GNU Prolog can be found at http://www.gnu.org/software/prolog. A lot of work has been devoted to the ISO compatibility. GNU Prolog is very close to the ISO standard (http://www.logic-programming.org/prolog_std.html). %prep %setup -q %patch0 -p1 -b .x86_64 (cd src && autoconf) %build cd src %configure -with-c-flags="-O3 -fomit-frame-pointer" # -with-c-flags="%{optflags}" %make %install rm -rf $RPM_BUILD_ROOT install -d $RPM_BUILD_ROOT%{_bindir} (cd src ; make install-system INSTALL_DIR=$RPM_BUILD_ROOT%{_libdir}/%{name}-%{version}) (cd $RPM_BUILD_ROOT%{_bindir} ; ln -sf ../%{_lib}/%{name}-%{version}/bin/* .) install -D -m644 %SOURCE4 $RPM_BUILD_ROOT%{_menudir}/%{name} %clean rm -rf $RPM_BUILD_ROOT %post %{update_menus} %postun %{clean_menus} %files %defattr(-,root,root) %doc Examples* doc/Html %{_bindir}/* %{_libdir}/%{name}* %{_menudir}/* %changelog * Tue Dec 17 2002 Gwenole Beauchesne <gbeauchesne@mandrakesoft.com> 1.2.16-3mdk - Enable build on PPC, it should work there too. - Update Patch0 (x86-64) to what Daniel Diaz committed upstream. Simply reformatting tweeks but make sure latest code still works. * Mon Dec 16 2002 Gwenole Beauchesne <gbeauchesne@mandrakesoft.com> 1.2.16-2mdk - Update Patch0 (x86-64) to preserve callee-saved register %rbx * Mon Dec 9 2002 Gwenole Beauchesne <gbeauchesne@mandrakesoft.com> 1.2.16-1mdk - 1.2.16 - Update Patch0 (x86_64): handle 64-bit integers though I don't think this could occur, define M_MMAP_HIGH_ADR, define global registers * Sat Dec 7 2002 Gwenole Beauchesne <gbeauchesne@mandrakesoft.com> 1.2.13-2mdk - Patch0: Add initial support for x86-64. There may be some clean-ups, optimizations and fixlets to do though. * Thu Jun 27 2002 Pixel <pixel@mandrakesoft.com> 1.2.13-1mdk - new release * Wed Jan 09 2002 David BAUDENS <baudens@mandrakesoft.com> 1.2.8-2mdk - Use standard interpreters_section.png icon * Mon Oct 22 2001 Frederic Lepied <flepied@mandrakesoft.com> 1.2.8-1mdk - 1.2.8 * Wed Aug 29 2001 David BAUDENS <baudens@mandrakesoft.com> 1.2.1-8mdk - Use new icon * Thu Jul 26 2001 Pixel <pixel@mandrakesoft.com> 1.2.1-7mdk - rebuild * Tue Dec 26 2000 Pixel <pixel@mandrakesoft.com> 1.2.1-6mdk - removed ppc from exclusivearch * Mon Dec 4 2000 Pixel <pixel@mandrakesoft.com> 1.2.1-5mdk - ensure optflags are used * Tue Nov 7 2000 Pixel <pixel@mandrakesoft.com> 1.2.1-4mdk - change menu title - icons the way I want :p * Mon Oct 09 2000 Daouda Lo <daouda@mandrakesoft.com> 1.2.1-3mdk - icons - embedded menu * Wed Aug 23 2000 Pixel <pixel@mandrakesoft.com> 1.2.1-2mdk - add packager field * Mon Jul 31 2000 Pixel <pixel@mandrakesoft.com> 1.2.1-1mdk - new version * Sun Jul 30 2000 Pixel <pixel@mandrakesoft.com> 1.2-1mdk - new version * Wed Jul 19 2000 Pixel <pixel@mandrakesoft.com> 1.1.2-4mdk - macroization - BM * Tue May 16 2000 Pixel <pixel@mandrakesoft.com> 1.1.2-3mdk - add exclusivearch * Fri Mar 31 2000 Pixel <pixel@mandrakesoft.com> 1.1.2-2mdk - cleanup, add menu, new group * Wed Dec 01 1999 Lenny Cartier <lenny@mandrakesoft.com> - initial specfile - added %doc - added symlinks in /usr/bin - enable mdk CFLAGS - ...things to satisfy Mr Pixel