[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