dist-git conversion

#2781)

.gitignore

@@ -0,0 +1,5 @@
+Yap-5.1.3.tar.gz
+chr_translate_bootstrap1.pl
+chr_translate_bootstrap2.pl
+chr_translate.pl
+guard_entailment.pl

Yap-5.1.3-soname.patch

@@ -0,0 +1,42 @@
+diff -up Yap-5.1.3/Makefile.in.soname Yap-5.1.3/Makefile.in
+--- Yap-5.1.3/Makefile.in.soname	2009-06-15 22:12:57.000000000 +0200
++++ Yap-5.1.3/Makefile.in	2009-06-15 21:59:18.000000000 +0200
+@@ -578,16 +578,16 @@ startup: yap@EXEC_SUFFIX@ $(PL_SOURCES)
+ 	-rm -f startup
+ 	echo "bootstrap('$(srcdir)/pl/init.yap'). module(user). save_program(startup)." |  @CROSS_SIMULATOR@ ./yap -b $(srcdir)/pl/boot.yap
+ 
+-yap@EXEC_SUFFIX@: $(HEADERS) yap.o @YAPLIB@.5.1.3
+-	$(MPI_CC) $(STANDARD_CFLAGS) $(LDFLAGS) -o yap yap.o @YAPLIB@.5.1.3 $(LIBS) @MPI_LIBS@
++yap@EXEC_SUFFIX@: $(HEADERS) yap.o @YAPLIB@
++	$(MPI_CC) $(STANDARD_CFLAGS) $(LDFLAGS) -o yap yap.o @YAPLIB@ $(LIBS) @MPI_LIBS@
+ 
+ libYap.a: $(LIB_OBJECTS)
+ 	-rm -f libYap.a
+ 	$(AR) rc libYap.a $(LIB_OBJECTS)
+ 	$(RANLIB) libYap.a
+ 
+-@DYNYAPLIB@.5.1.3: $(LIB_OBJECTS)
+-	@DYNLIB_LD@ -Wl,-soname=@YAPLIB@.5.1.3 -o @YAPLIB@.5.1.3 $(LIB_OBJECTS) $(LIBS) $(LDFLGS)
++@DYNYAPLIB@: $(LIB_OBJECTS)
++	@DYNLIB_LD@ -o @YAPLIB@ $(LIB_OBJECTS) $(LIBS) $(LDFLGS)
+ 
+ install: install_bin install_data
+ 
+@@ -598,7 +598,7 @@ install_unix: startup libYap.a
+ 	$(INSTALL_PROGRAM) -m 755 yap@EXEC_SUFFIX@ $(DESTDIR)$(BINDIR)/yap
+ 	mkdir -p $(DESTDIR)$(YAPLIBDIR)
+ 	$(INSTALL_DATA) startup $(DESTDIR)$(YAPLIBDIR)/startup
+-	@INSTALL_DLLS@ $(INSTALL_DATA) -m 755 @YAPLIB@.5.1.3 $(DESTDIR)$(LIBDIR)
++	@INSTALL_DLLS@ $(INSTALL_DATA) -m 755 @YAPLIB@ $(DESTDIR)$(LIBDIR)
+ 	mkdir -p $(DESTDIR)$(SHAREDIR)/Yap
+ 	mkdir -p $(DESTDIR)$(SHAREDIR)/Yap/pl
+ 	mkdir -p $(DESTDIR)$(SHAREDIR)/Yap/swi
+@@ -643,7 +643,7 @@ install_win32: startup
+ 	(cd library/tries; make install)
+ 	@ENABLE_CPLINT@ (cd cplint; make install)
+ 
+-install_library: @YAPLIB@.5.1.3
++install_library: @YAPLIB@
+ 	mkdir -p $(DESTDIR)$(INCLUDEDIR)
+ 	for h in $(HEADERS); do $(INSTALL) $$h $(DESTDIR)$(INCLUDEDIR); done
+ 

Yap-creat.patch

@@ -0,0 +1,21 @@
+diff -up Yap-5.1.1/C/alloc.c.creat Yap-5.1.1/C/alloc.c
+--- Yap-5.1.1/C/alloc.c.creat	2008-04-10 20:32:14.000000000 +0200
++++ Yap-5.1.1/C/alloc.c	2008-04-10 20:32:45.000000000 +0200
+@@ -796,7 +796,7 @@ InitWorkSpace(Int s)
+     itos(getpid(), &file[12]);
+ #endif /* HAVE_TMPNAM */
+ #endif /* HAVE_MKSTEMP */
+-    fd = open(file, O_CREAT|O_RDWR);
++    fd = open(file, O_CREAT|O_RDWR, 0644);
+     if (fd < 0) {
+       Yap_Error(FATAL_ERROR, TermNil, "mmap could not open %s", file);
+       return NULL;
+@@ -909,7 +909,7 @@ ExtendWorkSpace(Int s, int fixed_allocat
+     itos(getpid(), &file[12]);
+ #endif /* HAVE_TMPNAM */
+ #endif /* HAVE_MKSTEMP */
+-    fd = open(file, O_CREAT|O_RDWR);
++    fd = open(file, O_CREAT|O_RDWR, 0644);
+     if (fd < 0) {
+       Yap_ErrorMessage = Yap_ErrorSay;
+       snprintf4(Yap_ErrorMessage, MAX_ERROR_MSG_SIZE,

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,5 @@
+d04265acead9286b363f7209ac382490  Yap-5.1.3.tar.gz
+89b0825d04a5615b78ca0ff67908b047  chr_translate_bootstrap1.pl
+ebbc6fe2972f03696e8b5397b0076726  chr_translate_bootstrap2.pl
+773fa939564fb229fc7e541e5a74515a  chr_translate.pl
+72541b7579caf15bebe19fc2fc80dd08  guard_entailment.pl

yap.spec

@@ -0,0 +1,217 @@
+Name:		yap
+Version:	5.1.3
+Release:	1%{?dist}
+
+Summary:	High-performance Prolog Compiler
+
+Group:		Development/Languages
+License:	Artistic 2.0 or LGPLv2+
+Source:		http://www.ncc.up.pt/~vsc/Yap/current/Yap-%{version}.tar.gz
+Source1:	guard_entailment.pl
+Source2:	chr_translate_bootstrap1.pl
+Source3:	chr_translate_bootstrap2.pl
+Source4:	chr_translate.pl
+Patch1:		Yap-noni386.patch
+Patch2:         Yap-creat.patch
+# config.sub in the tarball is too old for ppc64
+Patch3:         Yap-5.1.1-config.sub.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, /sbin/ldconfig
+Requires(postun): /sbin/install-info, /sbin/ldconfig
+
+%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
+%patch2 -p1
+%patch3 -p1
+
+find -name CVS -print0 | xargs -0 rm -rf
+cp %{SOURCE1} %{SOURCE2} %{SOURCE3} %{SOURCE4} LGPL/chr
+
+# remove redundant rpath
+sed -i '/-Wl,-R/d' configure
+# add soname to library
+sed -i 's/@YAPLIB@/@YAPLIB@.%{version}/g' Makefile.in
+sed -i 's/@DYNYAPLIB@/@DYNYAPLIB@.%{version}/g' Makefile.in
+sed -i 's/@DYNLIB_LD@/@DYNLIB_LD@ -Wl,-soname=@YAPLIB@.%{version} /g' Makefile.in
+
+find -name Makefile.in | xargs sed -i 's|$(ROOTDIR)/lib|$(ROOTDIR)/%{_lib}|'
+find -name Makefile.in | xargs sed -i 's|$(EROOTDIR)/lib|$(EROOTDIR)/%{_lib}|'
+
+
+%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 '{}' ';'
+
+(cd $RPM_BUILD_ROOT%{_libdir}; ln -sf libYap.so.%{version} libYap.so)
+
+# 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 || :
+/sbin/ldconfig
+
+
+%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
+/sbin/ldconfig
+
+
+%clean
+rm -rf $RPM_BUILD_ROOT
+
+
+%files
+%defattr(-,root,root,-)
+%doc README
+%doc changes*
+%{_bindir}/yap
+%{_datadir}/Yap
+%{_libdir}/Yap
+%{_libdir}/libYap.so*
+%{_infodir}/*
+
+
+%files devel
+%defattr(-,root,root,-)
+%{_libdir}/libYap.so
+%{_includedir}/Yap
+
+
+%files docs
+%defattr(-,root,root,-)
+%doc LGPL/pillow/doc/pillow_doc_html/*
+%doc LGPL/pillow/doc/article.ps.gz
+%doc --parent Logtalk/manuals
+%doc --parent Logtalk/examples
+
+
+%changelog
+* Mon Jun 15 2009 Gerard Milmeister <gemi@bluewin.ch> - 5.1.3-1
+- new release 5.1.3
+
+* Sun Mar 01 2009 Ralf Corsépius <corsepiu@fedoraproject.org> - 5.1.1-13
+- Add Yap-5.1.1-config.sub.patch: 
+  Upgrade outdated config.sub to fix rebuild breakdown on ppc64.
+
+* Fri Jul 11 2008 Tom "spot" Callaway <tcallawa@redhat.com> - 5.1.1-11
+- fix license tag
+
+* Thu Apr 10 2008 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-10
+- enable rpm_opt_flags
+- patch for incorrect open call with O_CREAT
+
+* Mon Feb 18 2008 Fedora Release Engineering <rel-eng@fedoraproject.org> - 5.1.1-9
+- Autorebuild for GCC 4.3
+
+* Sat Oct 20 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-8
+- fix library path for 64-bit platforms
+
+* Wed Aug 29 2007 Gerard Milmeister <gemi@bluewin.ch> - 5.1.1-7
+- replaced ld -shared with gcc -shared
+
+* Wed Aug 29 2007 Fedora Release Engineering <rel-eng at fedoraproject dot org> - 5.1.1-6
+- Rebuild for selinux ppc32 issue.
+
+* 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