gprolog/gprolog.spec

Name: gprolog
Summary: Free implementation of the logic programming language PROLOG
Version: 1.2.16
Release: 1.2
License: GPL
Group: Development/Languages
URL: http://gnu-prolog.inria.fr/
Description: GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.

CentOS 7 x86_64

The build could not start because the following file is missing: gprolog-1.2.16.tar.gz

CentOS 6 x86_64

The build could not start because the following file is missing: gprolog-1.2.16.tar.gz

Contents

The spec file used by the build system currently has the following contents:

# $Id $
# Authority: dries

### EL6 ships with gprolog-1.3.1-6.el6
# ExclusiveDist: el2 el3 el4 el5

Summary: Free implementation of the logic programming language PROLOG
Name: gprolog
Version: 1.2.16
Release: 1.2%{?dist}
License: GPL
Group: Development/Languages
URL: http://gnu-prolog.inria.fr/

Source: ftp://ftp.inria.fr/INRIA/Projects/contraintes/gprolog/gprolog-%{version}.tar.gz
BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root

%description
GNU Prolog is a free implementation (under GPL) of the logic programming
language PROLOG. It can compile to native machine code which is extremely
fast in execution. Another feature is the included constraint solver.

%package doc
Summary: Documentation of gprolog.
Group: Documentation
Requires: gprolog = %{version}

%description doc
This package contains the documentation of gprolog.

%package examples
Summary: Examples of gprolog.
Group: Development/Languages
Requires: gprolog = %{version}-%{release}

%description examples
This package contains the examples of gprolog.

%prep
%setup

%build
pushd src
%configure
%{__make} %{?_smp_mflags}
popd

%install
%{__rm} -rf %{buildroot}
pushd src
%makeinstall \
	INSTALL_DIR=%{buildroot}/usr \
	LINKS_DIR=%{buildroot}/links \
	DOC_DIR=%{buildroot}/usr/share/gprolog/doc \
	HTML_DIR=%{buildroot}/usr/share/gprolog/doc/html \
	EXAMPLES_DIR=%{buildroot}/usr/share/gprolog/examples
popd
%{__rm} -f %{buildroot}/usr/COPYING \
	%{buildroot}/usr/ChangeLog \
	%{buildroot}/usr/NEWS \
	%{buildroot}/usr/VERSION

%clean
%{__rm} -rf %{buildroot}

%post
/sbin/ldconfig 2>/dev/null

%postun
/sbin/ldconfig 2>/dev/null

%files
%defattr(-, root, root, 0755)
%doc COPYING ChangeLog NEWS VERSION
%{_bindir}/fd2c
%{_bindir}/gplc
%{_bindir}/gprolog
%{_bindir}/hexgplc
%{_bindir}/ma2asm
%{_bindir}/pl2wam
%{_bindir}/wam2ma
%{_includedir}/gprolog.h
%{_includedir}/fd_to_c.h
%{_libdir}/all_fd_bips.o
%{_libdir}/all_pl_bips.o
%{_libdir}/debugger.o
%{_libdir}/libbips_fd.a
%{_libdir}/libbips_pl.a
%{_libdir}/libengine_fd.a
%{_libdir}/libengine_pl.a
%{_libdir}/liblinedit.a
%{_libdir}/obj_begin.o
%{_libdir}/obj_end.o
%{_libdir}/top_level.o

%files doc
%defattr(-, root, root, 0755)
%{_datadir}/gprolog/doc

%files examples
%defattr(-, root, root, 0755)
%{_datadir}/gprolog/examples/ExamplesFD
%{_datadir}/gprolog/examples/ExamplesPl
%{_datadir}/gprolog/examples/ExamplesC

%changelog
* Sat Apr 08 2006 Dries Verachtert <dries@ulyssis.org> - 1.2.16-1.2
- Rebuild for Fedora Core 5.

* Sat Mar 20 2004 Dries Verachtert <dries@ulyssis.org> 1.2.16-1
- update to version 1.2.16

* Sun Jan 25 2004 Dries Verachtert <dries@ulyssis.org> 1.2.3-1
- first packaging for Fedora Core 1