[med-svn] r347 - in trunk/packages/fact++/trunk: . debian

smoe-guest at alioth.debian.org smoe-guest at alioth.debian.org
Sat Jun 30 13:50:06 UTC 2007


Author: smoe-guest
Date: 2007-06-30 13:50:06 +0000 (Sat, 30 Jun 2007)
New Revision: 347

Added:
   trunk/packages/fact++/trunk/debian/
   trunk/packages/fact++/trunk/debian/README.Debian
   trunk/packages/fact++/trunk/debian/changelog
   trunk/packages/fact++/trunk/debian/compat
   trunk/packages/fact++/trunk/debian/control
   trunk/packages/fact++/trunk/debian/copyright
   trunk/packages/fact++/trunk/debian/cron.d.ex
   trunk/packages/fact++/trunk/debian/dirs
   trunk/packages/fact++/trunk/debian/docs
   trunk/packages/fact++/trunk/debian/fact++.doc-base.EX
   trunk/packages/fact++/trunk/debian/init.d.ex
   trunk/packages/fact++/trunk/debian/manpage.1.ex
   trunk/packages/fact++/trunk/debian/manpage.sgml.ex
   trunk/packages/fact++/trunk/debian/menu.ex
   trunk/packages/fact++/trunk/debian/rules
   trunk/packages/fact++/trunk/debian/watch
Log:
[svn-inject] Applying Debian modifications to trunk


Property changes on: trunk/packages/fact++/trunk/debian
___________________________________________________________________
Name: mergeWithUpstream
   + 1

Added: trunk/packages/fact++/trunk/debian/README.Debian
===================================================================
--- trunk/packages/fact++/trunk/debian/README.Debian	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/README.Debian	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,15 @@
+fact++ for Debian
+-----------------
+
+The distribution of Fact++ has the full support of the main developer
+Dmitry Tsarkov <tsarkov at cs.man.ac.uk> and his colleague and partial
+co-copyright holder Matthew Horridge. The source distributes and
+earlier version of a project hat is now found as the BuDDy project at
+sourceforge.net
+
+Once this package is known to be fully functional, the BuDDy code is
+targeted to be removed from the source.
+
+Steffen
+
+ -- Steffen Moeller <steffen_moeller at gmx.de>  Sat, 23 Jun 2007 21:28:37 +0200

Added: trunk/packages/fact++/trunk/debian/changelog
===================================================================
--- trunk/packages/fact++/trunk/debian/changelog	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/changelog	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,6 @@
+fact++ (1.1.7-1) unstable; urgency=low
+
+  * Initial release (Closes: #431175)
+
+ -- Steffen Moeller <steffen_moeller at gmx.de>  Sat, 23 Jun 2007 21:28:37 +0200
+

Added: trunk/packages/fact++/trunk/debian/compat
===================================================================
--- trunk/packages/fact++/trunk/debian/compat	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/compat	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1 @@
+5

Added: trunk/packages/fact++/trunk/debian/control
===================================================================
--- trunk/packages/fact++/trunk/debian/control	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/control	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,25 @@
+Source: fact++
+Section: science
+Priority: optional
+Maintainer: Steffen Moeller <steffen_moeller at gmx.de>
+Build-Depends: debhelper (>= 5), libxerces27-dev
+Standards-Version: 3.7.2
+
+Package: fact++
+Architecture: any
+Depends: ${shlibs:Depends}, ${misc:Depends}, libxerces27
+Description: description logic reasoner for the semantic web
+ FaCT++ is re-implementation of the well-known FaCT Description Logic (DL)
+ Reasoner. This reasoner currently supports the SROIQ(D) description Logic
+ language, which corresponds to OWL DL ontology language standard.
+ The current version is 1.1.6. This is source distribution package so it can
+ be used on different platforms. It was tested on Windows, Linux and MacOS X.
+ .
+ FaCT++ uses the established FaCT algorithms, but with a different
+ internal architecture. Additionally, FaCT++ is implementated using C++
+ in order to create a more efficient software tool, and to maximise
+ portability. New optimisations have also been introduced, and some new
+ features added.
+ .
+  Homepage: http://owl.man.ac.uk/factplusplus, http://code.google.com/p/factplusplus/
+

Added: trunk/packages/fact++/trunk/debian/copyright
===================================================================
--- trunk/packages/fact++/trunk/debian/copyright	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/copyright	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,45 @@
+This package was debianized by Steffen Moeller <steffen_moeller at gmx.de> on
+Sat, 23 Jun 2007 21:28:37 +0200.
+
+It was downloaded from http://code.google.com/p/factplusplus
+
+Upstream Authors: 
+
+    Dmitry Tsarkov <tsarkov at cs.man.ac.uk> and Ian Horrocks
+    School of Computer Science
+    University of Manchester
+    Kilburn Building
+    Oxford Road
+    Manchester
+    M13 9PL
+    UK 
+
+Copyright: 
+
+    Copyright (C) 2003-2007 Dmitry Tsarkov
+    Copyright (C) 1996-2002 Jorn Lind-Nielsen
+The package includes early work from the BuDDy project
+(http://sourceforge.net/projects/buddy) that is
+    Copyright (C) 1996-2002 Jorn Lind-Nielsen
+
+License:
+
+    This package is free software; you can redistribute it and/or modify
+    it under the terms of the GNU General Public License as published by
+    the Free Software Foundation; either version 2 of the License, or
+    (at your option) any later version.
+ 
+    This package is distributed in the hope that it will be useful,
+    but WITHOUT ANY WARRANTY; without even the implied warranty of
+    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+    GNU General Public License for more details.
+ 
+    You should have received a copy of the GNU General Public License
+    along with this package; if not, write to the Free Software
+    Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
+
+On Debian systems, the complete text of the GNU General
+Public License can be found in `/usr/share/common-licenses/GPL'.
+
+The Debian packaging is (C) 2007, Steffen Moeller <steffen_moeller at gmx.de> and
+is licensed under the GPL, see above.

Added: trunk/packages/fact++/trunk/debian/cron.d.ex
===================================================================
--- trunk/packages/fact++/trunk/debian/cron.d.ex	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/cron.d.ex	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,4 @@
+#
+# Regular cron jobs for the fact++ package
+#
+0 4	* * *	root	fact++_maintenance

Added: trunk/packages/fact++/trunk/debian/dirs
===================================================================
--- trunk/packages/fact++/trunk/debian/dirs	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/dirs	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,2 @@
+usr/bin
+usr/lib

Added: trunk/packages/fact++/trunk/debian/docs
===================================================================
--- trunk/packages/fact++/trunk/debian/docs	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/docs	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1 @@
+README

Added: trunk/packages/fact++/trunk/debian/fact++.doc-base.EX
===================================================================
--- trunk/packages/fact++/trunk/debian/fact++.doc-base.EX	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/fact++.doc-base.EX	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,22 @@
+Document: fact++
+Title: Debian fact++ Manual
+Author: <insert document author here>
+Abstract: This manual describes what fact++ is
+ and how it can be used to
+ manage online manuals on Debian systems.
+Section: unknown
+
+Format: debiandoc-sgml
+Files: /usr/share/doc/fact++/fact++.sgml.gz
+
+Format: postscript
+Files: /usr/share/doc/fact++/fact++.ps.gz
+
+Format: text
+Files: /usr/share/doc/fact++/fact++.text.gz
+
+Format: HTML
+Index: /usr/share/doc/fact++/html/index.html
+Files: /usr/share/doc/fact++/html/*.html
+
+  

Added: trunk/packages/fact++/trunk/debian/init.d.ex
===================================================================
--- trunk/packages/fact++/trunk/debian/init.d.ex	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/init.d.ex	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,81 @@
+#! /bin/sh
+#
+# skeleton	example file to build /etc/init.d/ scripts.
+#		This file should be used to construct scripts for /etc/init.d.
+#
+#		Written by Miquel van Smoorenburg <miquels at cistron.nl>.
+#		Modified for Debian 
+#		by Ian Murdock <imurdock at gnu.ai.mit.edu>.
+#
+# Version:	@(#)skeleton  1.9  26-Feb-2001  miquels at cistron.nl
+#
+
+PATH=/usr/local/sbin:/usr/local/bin:/sbin:/bin:/usr/sbin:/usr/bin
+DAEMON=/usr/sbin/fact++
+NAME=fact++
+DESC=fact++
+
+test -x $DAEMON || exit 0
+
+# Include fact++ defaults if available
+if [ -f /etc/default/fact++ ] ; then
+	. /etc/default/fact++
+fi
+
+set -e
+
+case "$1" in
+  start)
+	echo -n "Starting $DESC: "
+	start-stop-daemon --start --quiet --pidfile /var/run/$NAME.pid \
+		--exec $DAEMON -- $DAEMON_OPTS
+	echo "$NAME."
+	;;
+  stop)
+	echo -n "Stopping $DESC: "
+	start-stop-daemon --stop --quiet --pidfile /var/run/$NAME.pid \
+		--exec $DAEMON
+	echo "$NAME."
+	;;
+  #reload)
+	#
+	#	If the daemon can reload its config files on the fly
+	#	for example by sending it SIGHUP, do it here.
+	#
+	#	If the daemon responds to changes in its config file
+	#	directly anyway, make this a do-nothing entry.
+	#
+	# echo "Reloading $DESC configuration files."
+	# start-stop-daemon --stop --signal 1 --quiet --pidfile \
+	#	/var/run/$NAME.pid --exec $DAEMON
+  #;;
+  force-reload)
+	#
+	#	If the "reload" option is implemented, move the "force-reload"
+	#	option to the "reload" entry above. If not, "force-reload" is
+	#	just the same as "restart" except that it does nothing if the
+	#   daemon isn't already running.
+	# check wether $DAEMON is running. If so, restart
+	start-stop-daemon --stop --test --quiet --pidfile \
+		/var/run/$NAME.pid --exec $DAEMON \
+	&& $0 restart \
+	|| exit 0
+	;;
+  restart)
+    echo -n "Restarting $DESC: "
+	start-stop-daemon --stop --quiet --pidfile \
+		/var/run/$NAME.pid --exec $DAEMON
+	sleep 1
+	start-stop-daemon --start --quiet --pidfile \
+		/var/run/$NAME.pid --exec $DAEMON -- $DAEMON_OPTS
+	echo "$NAME."
+	;;
+  *)
+	N=/etc/init.d/$NAME
+	# echo "Usage: $N {start|stop|restart|reload|force-reload}" >&2
+	echo "Usage: $N {start|stop|restart|force-reload}" >&2
+	exit 1
+	;;
+esac
+
+exit 0

Added: trunk/packages/fact++/trunk/debian/manpage.1.ex
===================================================================
--- trunk/packages/fact++/trunk/debian/manpage.1.ex	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/manpage.1.ex	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,59 @@
+.\"                                      Hey, EMACS: -*- nroff -*-
+.\" First parameter, NAME, should be all caps
+.\" Second parameter, SECTION, should be 1-8, maybe w/ subsection
+.\" other parameters are allowed: see man(7), man(1)
+.TH FACT++ SECTION "Juni 23, 2007"
+.\" Please adjust this date whenever revising the manpage.
+.\"
+.\" Some roff macros, for reference:
+.\" .nh        disable hyphenation
+.\" .hy        enable hyphenation
+.\" .ad l      left justify
+.\" .ad b      justify to both left and right margins
+.\" .nf        disable filling
+.\" .fi        enable filling
+.\" .br        insert line break
+.\" .sp <n>    insert n+1 empty lines
+.\" for manpage-specific macros, see man(7)
+.SH NAME
+fact++ \- program to do something
+.SH SYNOPSIS
+.B fact++
+.RI [ options ] " files" ...
+.br
+.B bar
+.RI [ options ] " files" ...
+.SH DESCRIPTION
+This manual page documents briefly the
+.B fact++
+and
+.B bar
+commands.
+.PP
+.\" TeX users may be more comfortable with the \fB<whatever>\fP and
+.\" \fI<whatever>\fP escape sequences to invode bold face and italics, 
+.\" respectively.
+\fBfact++\fP is a program that...
+.SH OPTIONS
+These programs follow the usual GNU command line syntax, with long
+options starting with two dashes (`-').
+A summary of options is included below.
+For a complete description, see the Info files.
+.TP
+.B \-h, \-\-help
+Show summary of options.
+.TP
+.B \-v, \-\-version
+Show version of program.
+.SH SEE ALSO
+.BR bar (1),
+.BR baz (1).
+.br
+The programs are documented fully by
+.IR "The Rise and Fall of a Fooish Bar" ,
+available via the Info system.
+.SH AUTHOR
+fact++ was written by <upstream author>.
+.PP
+This manual page was written by Steffen Moeller <steffen_moeller at gmx.de>,
+for the Debian project (but may be used by others).

Added: trunk/packages/fact++/trunk/debian/manpage.sgml.ex
===================================================================
--- trunk/packages/fact++/trunk/debian/manpage.sgml.ex	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/manpage.sgml.ex	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,156 @@
+<!doctype refentry PUBLIC "-//OASIS//DTD DocBook V4.1//EN" [
+
+<!-- Process this file with docbook-to-man to generate an nroff manual
+     page: `docbook-to-man manpage.sgml > manpage.1'.  You may view
+     the manual page with: `docbook-to-man manpage.sgml | nroff -man |
+     less'.  A typical entry in a Makefile or Makefile.am is:
+
+manpage.1: manpage.sgml
+	docbook-to-man $< > $@
+
+    
+	The docbook-to-man binary is found in the docbook-to-man package.
+	Please remember that if you create the nroff version in one of the
+	debian/rules file targets (such as build), you will need to include
+	docbook-to-man in your Build-Depends control field.
+
+  -->
+
+  <!-- Fill in your name for FIRSTNAME and SURNAME. -->
+  <!ENTITY dhfirstname "<firstname>FIRSTNAME</firstname>">
+  <!ENTITY dhsurname   "<surname>SURNAME</surname>">
+  <!-- Please adjust the date whenever revising the manpage. -->
+  <!ENTITY dhdate      "<date>Juni 23, 2007</date>">
+  <!-- SECTION should be 1-8, maybe w/ subsection other parameters are
+       allowed: see man(7), man(1). -->
+  <!ENTITY dhsection   "<manvolnum>SECTION</manvolnum>">
+  <!ENTITY dhemail     "<email>steffen_moeller at gmx.de</email>">
+  <!ENTITY dhusername  "Steffen Moeller">
+  <!ENTITY dhucpackage "<refentrytitle>FACT++</refentrytitle>">
+  <!ENTITY dhpackage   "fact++">
+
+  <!ENTITY debian      "<productname>Debian</productname>">
+  <!ENTITY gnu         "<acronym>GNU</acronym>">
+  <!ENTITY gpl         "&gnu; <acronym>GPL</acronym>">
+]>
+
+<refentry>
+  <refentryinfo>
+    <address>
+      &dhemail;
+    </address>
+    <author>
+      &dhfirstname;
+      &dhsurname;
+    </author>
+    <copyright>
+      <year>2003</year>
+      <holder>&dhusername;</holder>
+    </copyright>
+    &dhdate;
+  </refentryinfo>
+  <refmeta>
+    &dhucpackage;
+
+    &dhsection;
+  </refmeta>
+  <refnamediv>
+    <refname>&dhpackage;</refname>
+
+    <refpurpose>program to do something</refpurpose>
+  </refnamediv>
+  <refsynopsisdiv>
+    <cmdsynopsis>
+      <command>&dhpackage;</command>
+
+      <arg><option>-e <replaceable>this</replaceable></option></arg>
+
+      <arg><option>--example <replaceable>that</replaceable></option></arg>
+    </cmdsynopsis>
+  </refsynopsisdiv>
+  <refsect1>
+    <title>DESCRIPTION</title>
+
+    <para>This manual page documents briefly the
+      <command>&dhpackage;</command> and <command>bar</command>
+      commands.</para>
+
+    <para>This manual page was written for the &debian; distribution
+      because the original program does not have a manual page.
+      Instead, it has documentation in the &gnu;
+      <application>Info</application> format; see below.</para>
+
+    <para><command>&dhpackage;</command> is a program that...</para>
+
+  </refsect1>
+  <refsect1>
+    <title>OPTIONS</title>
+
+    <para>These programs follow the usual &gnu; command line syntax,
+      with long options starting with two dashes (`-').  A summary of
+      options is included below.  For a complete description, see the
+      <application>Info</application> files.</para>
+
+    <variablelist>
+      <varlistentry>
+        <term><option>-h</option>
+          <option>--help</option>
+        </term>
+        <listitem>
+          <para>Show summary of options.</para>
+        </listitem>
+      </varlistentry>
+      <varlistentry>
+        <term><option>-v</option>
+          <option>--version</option>
+        </term>
+        <listitem>
+          <para>Show version of program.</para>
+        </listitem>
+      </varlistentry>
+    </variablelist>
+  </refsect1>
+  <refsect1>
+    <title>SEE ALSO</title>
+
+    <para>bar (1), baz (1).</para>
+
+    <para>The programs are documented fully by <citetitle>The Rise and
+      Fall of a Fooish Bar</citetitle> available via the
+      <application>Info</application> system.</para>
+  </refsect1>
+  <refsect1>
+    <title>AUTHOR</title>
+
+    <para>This manual page was written by &dhusername; &dhemail; for
+      the &debian; system (but may be used by others).  Permission is
+      granted to copy, distribute and/or modify this document under
+      the terms of the &gnu; General Public License, Version 2 any 
+	  later version published by the Free Software Foundation.
+    </para>
+	<para>
+	  On Debian systems, the complete text of the GNU General Public
+	  License can be found in /usr/share/common-licenses/GPL.
+	</para>
+
+  </refsect1>
+</refentry>
+
+<!-- Keep this comment at the end of the file
+Local variables:
+mode: sgml
+sgml-omittag:t
+sgml-shorttag:t
+sgml-minimize-attributes:nil
+sgml-always-quote-attributes:t
+sgml-indent-step:2
+sgml-indent-data:t
+sgml-parent-document:nil
+sgml-default-dtd-file:nil
+sgml-exposed-tags:nil
+sgml-local-catalogs:nil
+sgml-local-ecat-files:nil
+End:
+-->
+
+

Added: trunk/packages/fact++/trunk/debian/menu.ex
===================================================================
--- trunk/packages/fact++/trunk/debian/menu.ex	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/menu.ex	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,2 @@
+?package(fact++):needs="X11|text|vc|wm" section="Apps/see-menu-manual"\
+  title="fact++" command="/usr/bin/fact++"

Added: trunk/packages/fact++/trunk/debian/rules
===================================================================
--- trunk/packages/fact++/trunk/debian/rules	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/rules	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,93 @@
+#!/usr/bin/make -f
+# -*- makefile -*-
+# Sample debian/rules that uses debhelper.
+# This file was originally written by Joey Hess and Craig Small.
+# As a special exception, when this file is copied by dh-make into a
+# dh-make output file, you may use that output file without restriction.
+# This special exception was added by Craig Small in version 0.37 of dh-make.
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+CFLAGS = -Wall -g
+
+ifneq (,$(findstring noopt,$(DEB_BUILD_OPTIONS)))
+	CFLAGS += -O0
+else
+	CFLAGS += -O2
+endif
+
+configure: configure-stamp
+configure-stamp:
+	dh_testdir
+	# Add here commands to configure the package.
+
+	touch configure-stamp
+
+
+build: build-stamp
+
+build-stamp: configure-stamp 
+	dh_testdir
+
+	# Add here commands to compile the package.
+	$(MAKE) -C src CL_LTYPE=shared CFLAGS="$(CFLAGS)"
+	#docbook-to-man debian/fact++.sgml > fact++.1
+
+	touch $@
+
+clean:
+	dh_testdir
+	dh_testroot
+	rm -f build-stamp configure-stamp
+
+	# Add here commands to clean up after the build process.
+	-$(MAKE) -C src clean
+	rm -f `find src -name "*.so" -o -name "*.a"`
+
+	dh_clean 
+
+install: build
+	dh_testdir
+	dh_testroot
+	dh_clean -k 
+	dh_installdirs
+
+	# Add here commands to install the package into debian/fact++.
+	#$(MAKE) -C src DESTDIR=$(CURDIR)/debian/fact++ install
+	f=`find src -type f -a \( -name "*.a" -o  -name "*.so" \) ! -type l`; \
+	if [ -n "$$f" ]; then \
+		mv -f $$f $(CURDIR)/debian/fact++/usr/lib; \
+	fi
+	f=`find src -perm -755 -a -type f`; \
+	if [ -n "$$f" ]; then \
+		mv -f $$f $(CURDIR)/debian/fact++/usr/bin; \
+	fi
+
+
+# Build architecture-independent files here.
+binary-indep: build install
+# We have nothing to do by default.
+
+# Build architecture-dependent files here.
+binary-arch: build install
+	dh_testdir
+	dh_testroot
+	dh_installchangelogs 
+	dh_installdocs
+	dh_installexamples
+#	dh_install
+#	dh_installmenu
+	dh_installman
+	dh_link
+	dh_strip
+	dh_compress
+	dh_fixperms
+	dh_installdeb
+	dh_shlibdeps
+	dh_gencontrol
+	dh_md5sums
+	dh_builddeb
+
+binary: binary-indep binary-arch
+.PHONY: build clean binary-indep binary-arch binary install configure


Property changes on: trunk/packages/fact++/trunk/debian/rules
___________________________________________________________________
Name: svn:executable
   + *

Added: trunk/packages/fact++/trunk/debian/watch
===================================================================
--- trunk/packages/fact++/trunk/debian/watch	                        (rev 0)
+++ trunk/packages/fact++/trunk/debian/watch	2007-06-30 13:50:06 UTC (rev 347)
@@ -0,0 +1,24 @@
+# Example watch control file for uscan
+# Rename this file to "watch" and then you can run the "uscan" command
+# to check for upstream updates and more.
+# See uscan(1) for format
+
+# Compulsory line, this is a version 3 file
+version=3
+
+# Uncomment to examine a Webpage 
+# <Webpage URL> <string match>
+#http://www.example.com/downloads.php fact++-(.*)\.tar\.gz
+
+# Uncomment to examine a Webserver directory
+#http://www.example.com/pub/fact++-(.*)\.tar\.gz
+
+# Uncommment to examine a FTP server
+#ftp://ftp.example.com/pub/fact++-(.*)\.tar\.gz debian uupdate
+
+# Uncomment to find new files on sourceforge, for debscripts >= 2.9
+# http://sf.net/fact++/fact++-(.*)\.tar\.gz
+
+http://factplusplus.googlecode.com/files/FaCT\+\+-src-v(.*)\.tgz
+
+




More information about the debian-med-commit mailing list