openSUSE Build Service

Overview Repositories Revisions Requests Users Attributes Meta

File gprolog.spec of Package gprolog

#
# spec file for package gprolog
#
# Copyright (c) 2015-2022 Antoine Belvire
#
# All modifications and additions to the file contributed by third parties
# remain the property of their copyright owners, unless otherwise agreed
# upon. The license for this file, and modifications and additions to the
# file, is the same license as for the pristine package itself (unless the
# license for the pristine package is not an Open Source License, in which
# case the license is the MIT License). An "Open Source License" is a
# license that conforms to the Open Source Definition (Version 1.9)
# published by the Open Source Initiative.

# Please submit bugfixes or comments via https://bugs.opensuse.org/
#

Name:           gprolog
Version:        1.5.0
Release:        0
Summary:        GNU Prolog compiler
License:        GPL-2.0-or-later AND LGPL-3.0-or-later
Group:          Development/Languages/Other
URL:            http://www.gprolog.org
Source:         http://www.gprolog.org/%{name}-%{version}.tar.gz
Patch0:         gprolog-1.5.0-use-source_date_epoch.patch
BuildRequires:  fdupes
Recommends:     %{name}-doc = %{version}-%{release}
Suggests:       %{name}-examples = %{version}-%{release}
ExclusiveArch:  %{ix86} x86_64 ppc %{sparc} %{alpha} %{mips} %{arm32} %{arm64}

%description
GNU Prolog is a free Prolog compiler with constraint solving over finite
domains (FD) developed at INRIA by Daniel Diaz. GNU Prolog is based on two
systems developed by the same author (with lot of code rewriting and a lot of
new extensions): wamcc and clp(FD). Much work has been devoted to make it ISO
compatible, full compliance being one of its goals.

%package devel
Summary:        Development files for GNU Prolog
Requires:       %{name} = %{version}-%{release}

%description devel
This package contains development files for GNU Prolog.

%package doc
Summary:        Documentation for GNU Prolog
Group:          Documentation/Other
Recommends:     %{name} = %{version}-%{release}
BuildArch:      noarch

%description doc
This package contains the documentation of GNU Prolog.

%package examples
Summary:        Example files for GNU Prolog
Recommends:     %{name} = %{version}-%{release}
BuildArch:      noarch

%description examples
This package provides examples for GNU Prolog.

%prep
%autosetup -p1

%build
# Fails to build with LTO
%global _lto_cflags %{nil}

cd src
%configure \
%ifarch %{ix86}
  --disable-regs \
%endif
  --without-links-dir \
  --with-c-flags="%{optflags}" \
  --with-install-dir=%{_libdir}/%{name} \
  --with-doc-dir=%{_docdir}/%{name} \
  --with-examples-dir=%{_datadir}/%{name}/examples

# Some problems with %{?_smp_mflags}
make

%install
%make_install --directory src

# Move some doc files to docdir
mv %{buildroot}%{_libdir}/%{name}/{ChangeLog,NEWS,README,VERSION} %{buildroot}%{_docdir}/%{name}

# Remove COPYING as it is installed using the license macro
rm %{buildroot}%{_libdir}/%{name}/COPYING

# Link binaries (/usr/bin/* -> /usr/lib(64)/gprolog/bin/*)
install -d %{buildroot}%{_bindir}
ln -rs %{buildroot}%{_libdir}/%{name}/bin/* %{buildroot}%{_bindir}

# Link include files (/usr/include/* -> /usr/lib(64)/gprolog/include/*)
install -d %{buildroot}%{_includedir}
ln -rs %{buildroot}%{_libdir}/%{name}/include/* %{buildroot}%{_includedir}

%fdupes -s %{buildroot}%{_docdir}/%{name}

%check
make check --directory src

%files
%license COPYING
%{_bindir}/fd2c
%{_bindir}/gplc
%{_bindir}/gprolog
%{_bindir}/hexgplc
%{_bindir}/ma2asm
%{_bindir}/pl2wam
%{_bindir}/wam2ma
%{_libdir}/%{name}
%exclude %{_libdir}/%{name}/lib/*.a
%exclude %{_libdir}/%{name}/include

%files devel
%license COPYING
%{_libdir}/%{name}/lib/*.a
%{_libdir}/%{name}/include
%{_includedir}/%{name}.h
%{_includedir}/fd_to_c.h

%files doc
%license COPYING
%{_docdir}/%{name}

%files examples
%license COPYING
%{_datadir}/%{name}

%changelog

Places

File gprolog.spec of Package gprolog

Places