[datalog] Initial import (#720857)

[John D. Ramsdell]

commit f921653c2028e699ff0364c08657e75db4a9409d
Author: John D. Ramsdell <ramsdell at mitre.org>
Date:   Fri Oct 5 09:11:39 2012 -0400

    Initial import (#720857)

 .gitignore   |    1 +
 datalog.spec |  144 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 sources      |    1 +
 3 files changed, 146 insertions(+), 0 deletions(-)
---
diff --git a/.gitignore b/.gitignore
index e69de29..2852415 100644
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1 @@
+/datalog-2.3.tar.gz
diff --git a/datalog.spec b/datalog.spec
new file mode 100644
index 0000000..89b25ed
--- /dev/null
+++ b/datalog.spec
@@ -0,0 +1,144 @@
+%{!?luaver: %global luaver %(lua -e "print(string.sub(_VERSION, 5))")}
+%global	luapkgdir %{_datadir}/lua/%{luaver}
+
+Name:		datalog
+Version:	2.3
+Release:	1%{?dist}
+
+Source0:	http://downloads.sourceforge.net/datalog/%{name}-%{version}.tar.gz
+
+URL:		http://sourceforge.net/projects/datalog
+BuildRoot:	%{_tmppath}/%{name}-%{version}-%{release}-root
+
+Summary:	A Lightweight Deductive Database using Datalog
+License:	LGPLv2+
+%if 0%{?rhel}
+Group:		Applications/Databases
+%endif
+
+BuildRequires:	texinfo, lua-devel < 5.3
+
+Requires:	lua(abi) = %{luaver}
+
+%description
+This package contains a lightweight deductive database system.
+Queries and database updates are expressed using Datalog--a
+declarative logic language in which each formula is a function-free
+Horn clause, and every variable in the head of a clause must appear in
+the body of the clause.  The use of Datalog syntax and an
+implementation based on tabling intermediate results, ensures that all
+queries terminate.
+
+The components in this package are designed to be small, and usable on
+memory constrained devices.  The package includes an interactive
+interpreter for Datalog, and the development package has a library
+that can be used to embed the interpreter into C programs.
+
+%package devel
+Summary: Datalog header file and library
+%if 0%{?rhel}
+Group: Development/Libraries
+%endif
+Requires: datalog = %{version}
+
+%description devel
+This package includes the header file and library that can be used to
+embed a datalog interpreter into C programs.
+
+%prep
+%setup -q
+
+%build
+%configure --with-lua --enable-shared --disable-static
+make %{?_smp_mflags}
+
+%install
+make DESTDIR=%{buildroot} install
+mkdir -p %{buildroot}%{luapkgdir}
+install -m 644 %{name}.lua %{buildroot}%{luapkgdir}
+rm -rf %{buildroot}/%{_libdir}/lib%{name}.la
+rm -rf %{buildroot}/%{_datadir}/%{name}
+rm -rf %{buildroot}/%{_infodir}/dir
+
+%clean
+rm -rf %{buildroot}
+
+%post
+/sbin/ldconfig
+if [ -f %{_infodir}/%{name}.info.gz ]; then
+  /sbin/install-info %{_infodir}/%{name}.info.gz %{_infodir}/dir || :
+fi
+
+%postun
+/sbin/ldconfig
+if [ $1 -eq 0 ]; then
+  if [ -f %{_infodir}/%{name}.info.gz ]; then
+    /sbin/install-info --delete %{_infodir}/%{name}.info.gz %{_infodir}/dir || :
+  fi
+fi
+
+%files
+%defattr (-, root, root, -)
+%doc %{name}.html ChangeLog README COPYING.LIB AUTHORS NEWS
+%{_bindir}/%{name}
+%{_libdir}/lib%{name}.so.*
+%{_infodir}/%{name}.info.gz
+%{_mandir}/man1/*
+%{luapkgdir}/%{name}.lua
+
+%files devel
+%defattr (-, root, root, -)
+%{_includedir}/%{name}.h
+%{_libdir}/lib%{name}.so
+
+%changelog
+* Thu Jun  7 2012 John D. Ramsdell <ramsdell at mitre.org> - 2.2-4
+- Added lua(abi) requirement
+
+* Tue Jun  5 2012 John D. Ramsdell <ramsdell at mitre.org> - 2.2-3
+- Removed rm of build root in %%install
+- Group field defined only for RHEL
+- Removed license field in subpackage devel
+
+* Fri May 25 2012 John D. Ramsdell <ramsdell at mitre.org> - 2.2-2
+- Changed %%define to %%global
+
+* Thu Apr 26 2012 John D. Ramsdell <ramsdell at mitre.org> - 2.2-1
+- Changed devel requires from libdatalog to datalog
+
+* Sun Apr  8 2012 John D. Ramsdell <ramsdell at mitre.org> - 2.1-1
+- Added AUTHORS and NEWS to %%doc
+
+* Thu Jan 26 2012 John D. Ramsdell <ramsdell at mitre.org> - 1.8-2
+- Use lua to determine its version number
+
+* Wed Jan 18 2012 John D. Ramsdell <ramsdell at mitre.org> - 1.8-1
+- Added a manual page
+
+* Fri Jan 13 2012 John D. Ramsdell <ramsdell at mitre.org> - 1.7-3
+- Fix devel license and summary
+- chmod 644 on installed datalog.lua
+
+* Wed Oct 12 2011 John D. Ramsdell <ramsdell at mitre.org> - 1.7-2
+- Added devel package
+- Moved luapkgdir def to top of file
+- sf.net --> sourceforge.net
+- Removed Packager field
+- Removed newline between %%description and text
+
+* Thu Sep 29 2011 John D. Ramsdell <ramsdell at mitre.org> - 1.7-1
+- Use installed Lua package and shared libraries
+
+* Tue Sep 20 2011 John D. Ramsdell <ramsdell at mitre.org> - 1.6-2
+- Removed devel package
+
+* Sat Aug 6 2011 John D. Ramsdell <ramsdell at mitre.org> - 1.6-1
+- Fixed license name by adding version number
+- Dropped vendor field
+- Switched to standard name for build root
+- %%defaddrs now contain four fields
+- Removed asterisks in %%files
+- Added COPYING.LIB
+
+* Tue Jul 7 2011 John D. Ramsdell <ramsdell at mitre.org> - 1.4-1
+- Initial spec release
diff --git a/sources b/sources
index e69de29..23e2894 100644
--- a/sources
+++ b/sources
@@ -0,0 +1 @@
+d34b08d89dddcb328d73261c7bc63c8b  datalog-2.3.tar.gz