Compare commits
3 commits
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
6d729d12ab | ||
|
|
040db21c97 | ||
|
|
77703f2e52 |
10 changed files with 19268 additions and 1 deletions
1
.gitignore
vendored
Normal file
1
.gitignore
vendored
Normal file
|
|
@ -0,0 +1 @@
|
|||
Yap-5.1.1.tar.gz
|
||||
21
Yap-creat.patch
Normal file
21
Yap-creat.patch
Normal file
|
|
@ -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,
|
||||
11
Yap-noni386.patch
Normal file
11
Yap-noni386.patch
Normal file
|
|
@ -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 */
|
||||
|
||||
9228
chr_translate.pl
Normal file
9228
chr_translate.pl
Normal file
File diff suppressed because it is too large
Load diff
2591
chr_translate_bootstrap1.pl
Normal file
2591
chr_translate_bootstrap1.pl
Normal file
File diff suppressed because it is too large
Load diff
3684
chr_translate_bootstrap2.pl
Normal file
3684
chr_translate_bootstrap2.pl
Normal file
File diff suppressed because it is too large
Load diff
|
|
@ -1 +0,0 @@
|
|||
Fails to build with GCC 7, upstream does not respond (bug #1421711).
|
||||
3530
guard_entailment.pl
Normal file
3530
guard_entailment.pl
Normal file
File diff suppressed because it is too large
Load diff
1
sources
Normal file
1
sources
Normal file
|
|
@ -0,0 +1 @@
|
|||
1f5c26642a27158c98f6c2fac56d3dad Yap-5.1.1.tar.gz
|
||||
201
yap.spec
Normal file
201
yap.spec
Normal file
|
|
@ -0,0 +1,201 @@
|
|||
Name: yap
|
||||
Version: 5.1.1
|
||||
Release: 10%{?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
|
||||
Patch2: Yap-creat.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
|
||||
|
||||
cp %{SOURCE1} %{SOURCE2} %{SOURCE3} %{SOURCE4} LGPL/chr
|
||||
|
||||
# remove redundant rpath
|
||||
sed -i '/-Wl,-R/d' configure
|
||||
# properly link dynamically
|
||||
sed -i 's/SHLIB_LD=.*/SHLIB_LD="gcc -shared"/' configure
|
||||
|
||||
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 '{}' ';'
|
||||
|
||||
# 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.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 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
|
||||
Loading…
Add table
Add a link
Reference in a new issue