dist-git conversion

#2781)

.gitignore

@@ -0,0 +1 @@
+Yap-5.1.1.tar.gz

Yap-fix.patch

@@ -0,0 +1,13 @@
+--- Yap-4.5.5/H/Heap.h.fix	2005-06-16 21:15:50.000000000 +0200
++++ Yap-4.5.5/H/Heap.h	2005-06-16 21:16:09.000000000 +0200
+@@ -654,8 +654,8 @@
+ #define  FileAliases              Yap_heap_regs->file_aliases
+ #if LOW_PROF
+ #define  ProfilerOn		  Yap_heap_regs->profiler_on
+-#define  FProf     		  ((FILE *)Yap_heap_regs->f_prof)
+-#define  FPreds     		  ((FILE *)Yap_heap_regs->f_preds)
++#define  FProf     		  (Yap_heap_regs->f_prof)
++#define  FPreds     		  (Yap_heap_regs->f_preds)
+ #define  ProfPreds		  Yap_heap_regs->prof_preds
+ #endif /* LOW_PROF */
+ #define  ReductionsCounter        Yap_heap_regs->call_counters.reductions

Yap-noni386.patch

@@ -0,0 +1,11 @@
+--- Yap-4.5.5/H/absmi.h.noni386	2005-06-18 15:52:24.000000000 +0200
++++ Yap-4.5.5/H/absmi.h	2005-06-18 15:52:34.000000000 +0200
+@@ -282,7 +282,7 @@
+ 
+ #define CACHE_A1()	(SREG = (CELL *)ARG1)
+ 
+-#define CACHED_A1()	((CELL)SREG)
++#define CACHED_A1()	SREG
+ 
+ #endif /* S_IN_MEM */
+ 

dead.package

@@ -1 +0,0 @@
-Fails to build with GCC 7, upstream does not respond (bug #1421711).

sources

@@ -0,0 +1 @@
+1f5c26642a27158c98f6c2fac56d3dad  Yap-5.1.1.tar.gz

yap.spec

@@ -0,0 +1,174 @@
+Name:		yap
+Version:	5.1.1
+Release:	5%{?dist}
+
+Summary:	High-performance Prolog Compiler
+
+Group:		Development/Languages
+License:	Artistic/LGPL
+Source:		http://www.ncc.up.pt/~vsc/Yap/current/Yap-5.1.1.tar.gz
+Source1:	guard_entailment.pl
+Source2:	chr_translate_bootstrap1.pl
+Source3:	chr_translate_bootstrap2.pl
+Source4:	chr_translate.pl
+Patch1:		Yap-noni386.patch
+URL: 		http://www.ncc.up.pt/~vsc/Yap
+BuildRoot:      %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)
+BuildRequires:	readline-devel, gmp-devel, texinfo
+Requires(post):	  /sbin/install-info
+Requires(postun): /sbin/install-info
+
+%description
+A high-performance Prolog compiler developed at LIACC, Universidade do
+Porto. The Prolog engine is based in the WAM (Warren Abstract
+Machine), with several optimizations for better performance. YAP
+follows the Edinburgh tradition, and is largely compatible with the
+ISO-Prolog standard and with Quintus and SICStus Prolog.
+
+
+%package devel
+Summary:	C-Interface development files for Yap
+Group:		Development/Languages
+Requires:	%{name} = %{version}-%{release}
+
+%description devel
+C-Interface development files for Yap.
+
+
+%package docs
+Summary:	Documentation for Yap
+Group:		Development/Languages
+Requires:	%{name} = %{version}-%{release}
+
+%description docs
+Documentation for Yap.
+
+
+%prep
+%setup -q -n Yap-%{version}
+%patch1 -p1
+cp %{SOURCE1} %{SOURCE2} %{SOURCE3} %{SOURCE4} LGPL/chr
+# remove redundant rpath
+sed -i "/-Wl,-R/d" configure
+
+
+%build
+%define optflags $(echo $RPM_OPT_FLAGS | sed 's|-fstack-protector||')
+%configure \
+	--enable-coroutining \
+	--enable-max-performance \
+	--enable-depth-limit \
+        --enable-dynamic-loading
+make %{?_smp_mflags}
+(cd docs; make info)
+
+
+%install
+rm -rf $RPM_BUILD_ROOT
+make DESTDIR=$RPM_BUILD_ROOT install
+mkdir -p $RPM_BUILD_ROOT%{_infodir}
+cp -f docs/yap.info* $RPM_BUILD_ROOT%{_infodir}
+cp -f LGPL/pillow/doc/pillow_doc.info $RPM_BUILD_ROOT%{_infodir}
+
+# fix permissions and flags
+chmod 0644 $RPM_BUILD_ROOT%{_datadir}/Yap/pl/*
+chmod 0644 $RPM_BUILD_ROOT%{_includedir}/Yap/*
+find -name '*.lgt' -exec chmod 0644 '{}' ';'
+find -name '*.h' -exec chmod 0644 '{}' ';'
+find -name '*.c' -exec chmod 0644 '{}' ';'
+
+# move examples to docdir
+mkdir -p $RPM_BUILD_ROOT%{_docdir}/%{name}-%{version}
+mv $RPM_BUILD_ROOT%{_datadir}/Yap/examples $RPM_BUILD_ROOT%{_docdir}/%{name}-%{version}
+rm -rf $RPM_BUILD_ROOT%{_datadir}/Yap/clpbn/examples
+
+%post
+/sbin/install-info %{_infodir}/yap.info --section "Programming Languages" %{_infodir}/dir 2>/dev/null || :
+/sbin/install-info %{_infodir}/pillow_doc.info --section "Programming Languages" %{_infodir}/dir 2>/dev/null || :
+
+
+%postun
+if [ $1 -eq 0 ]; then
+  /sbin/install-info --delete %{_infodir}/yap.info %{_infodir}/dir 2>/dev/null || :
+  /sbin/install-info --delete %{_infodir}/pillow_doc.info %{_infodir}/dir 2>/dev/null || :
+fi
+
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+
+%files
+%defattr(-,root,root,-)
+%doc README
+%doc changes*
+%{_bindir}/yap
+%{_datadir}/Yap
+%{_prefix}/lib/Yap
+%{_prefix}/lib/libYap.so
+%{_infodir}/*
+
+
+%files devel
+%defattr(-,root,root,-)
+%{_prefix}/lib/libYap.a
+%{_includedir}/Yap
+
+
+%files docs
+%defattr(-,root,root,-)
+%doc docs/*.html
+%doc docs/yap.pdf
+%doc LGPL/pillow/doc/pillow_doc_html/*
+%doc LGPL/pillow/doc/article.ps.gz
+%doc --parent Logtalk/manuals
+%doc --parent Logtalk/examples
+
+
+%changelog
+* Thu Jul  5 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-5
+- also build libYap.so
+
+* Fri May 11 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-3
+- remove -fstack-protector from optflags in order to enable
+  loading of .so modules
+
+* Mon Aug 28 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-2
+- Rebuild for FE6
+
+* Mon May  1 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-1
+- new version 5.1.1
+- split off devel and docs packages
+
+* Fri Feb 17 2006 Gerard Milmeister <gemi@bluewin.ch> - 5.0.1-2
+- Rebuild for Fedora Extras 5
+
+* Tue Oct 25 2005 Gerard Milmeister <gemi@bluewin.ch> - 5.0.1-1
+- New Version 5.0.1
+
+* Wed Sep  7 2005 Gerard Milmeister <gemi@bluewin.ch> - 5.0.0-1
+- New Version 5.0.0
+
+* Sat Jun 18 2005 Gerard Milmeister <gemi@bluewin.ch> - 4.5.5-5
+- Use %{_prefix}/lib for x86_64
+
+* Sat Jun 18 2005 Gerard Milmeister <gemi@bluewin.ch> - 4.5.5-4
+- Fix for non-i386 compilers
+
+* Sat Jun 18 2005 Gerard Milmeister <gemi@bluewin.ch> - 4.5.5-3
+- Compiler fix for FC4
+
+* Fri Apr  7 2005 Michael Schwendt <mschwendt[AT]users.sf.net>
+- rebuilt
+
+* Sat Feb 12 2005 Gerard Milmeister <gemi@bluewin.ch> - 0:4.5.5-1
+- New Version 4.5.5
+
+* Mon Nov 29 2004 Gerard Milmeister <gemi@bluewin.ch> - 0:4.5.3-0.fdr.1
+- New Version 4.5.3
+
+* Sat Mar 13 2004 Gerard Milmeister <gemi@bluewin.ch> - 0:4.5.2-0.fdr.1
+- New Version 4.5.2
+
+* Sat Nov 22 2003 Gerard Milmeister <gemi@bluewin.ch> - 0:4.4.3-0.fdr.1
+- First Fedora release