debian/0000755000000000000000000000000012160642126007166 5ustar debian/patches/0000755000000000000000000000000011772645341010627 5ustar debian/patches/README0000644000000000000000000000021111646365372011504 0ustar 0xxx: Grabbed from upstream development. 1xxx: Possibly relevant for upstream adoption. 2xxx: Only relevant for official Debian release. debian/patches/2001_use_default-java_path.patch0000644000000000000000000000054211772643212016541 0ustar --- a/src/FaCT++.JNI/Makefile +++ b/src/FaCT++.JNI/Makefile @@ -6,7 +6,7 @@ LIBRARY = FaCTPlusPlusJNI LTYPE = shared -INCLUDES = -I/Developer/SDKs/MacOSX10.6.sdk/System/Library/Frameworks/JavaVM.framework/Headers -I/System/Library/Frameworks/JavaVM.framework/Headers +INCLUDES = -I/usr/lib/jvm/default-java/include USE_IL = ../Kernel SOURCES = \ debian/patches/series0000644000000000000000000000004111772643144012036 0ustar 2001_use_default-java_path.patch debian/control0000644000000000000000000000160212160642064010571 0ustar Source: fact++ Section: x11 Priority: optional Maintainer: Jonas Smedegaard Build-Depends: cdbs, devscripts, debhelper, dh-buildinfo, cloog-ppl Standards-Version: 3.9.4 Homepage: http://owl.man.ac.uk/factplusplus/ Vcs-Git: git://anonscm.debian.org/git/collab-maint/fact++.git Vcs-Browser: http://anonscm.debian.org/gitweb/?p=collab-maint/fact++.git Package: fact++ Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, dbus-x11 Suggests: antiword, catdoc, catdvi, djvulibre-bin, poppler-utils | xpdf-utils, rpm, unrtf, unzip Description: description logic reasoner for the semantic web FaCT++ is a DL reasoner. It supports OWL DL as well as the forthcoming standard OWL 1.1. FaCT++ is implemented in C++ and uses optimised tableaux algorithms. The tool is probably best known for its compatibility with the tool Protege that helps to formally represent semantics. debian/source/0000755000000000000000000000000011643561662010500 5ustar debian/source/format0000644000000000000000000000001411276536300011677 0ustar 3.0 (quilt) debian/changelog0000644000000000000000000000404612160642126011044 0ustar fact++ (1.6.2~dfsg-2) unstable; urgency=low * Update README.source to emphasize control.in file as *not* a show-stopper for contributions, referring to wiki page for details. * Use anonscm.debian.org URL for Vcs-Git. * Bump packaging license to GPL-3+, and extend coverage to include current year. -- Jonas Smedegaard Thu, 20 Jun 2013 20:04:59 +0200 fact++ (1.6.2~dfsg-1) experimental; urgency=low [ upstream ] * New upstream release. + Bug fixes. [ Jonas Smedegaard ] * Update copyright file: + Extend coverage for main copyright holder. * Bump standards-version to 3.9.4. * Really fix Homepage, as promised in 1.6.1~dfsg-1. -- Jonas Smedegaard Sun, 10 Mar 2013 00:46:25 +0100 fact++ (1.6.1~dfsg-1) experimental; urgency=low [ upstream ] * New upstream release. + Bug fixes. [ Jonas Smedegaard ] * Fix stop build-conflicting with libtextcat-dev: Apparently completely bogus. * Drop (unused) build flavors server and parser: No longer included upstream. * Update copyright file: + Drop Files section for files no longer shipped upstream. + Fix use pseudo-comment section to obey silly restrictions of copyright format 1.0. + Use space (not tab) in license. * Shorten README.source: Simply refer to wiki page about CDBS + git-buildpackage packaging style. * Bump dephelper compatibility level to 8. * Fix Homepage and source URLs. -- Jonas Smedegaard Wed, 12 Dec 2012 16:46:52 +0100 fact++ (1.6.0~dfsg-1) experimental; urgency=low * New upstream release. [ Jonas Smedegaard ] * Update copyright file: + Extend coverage of main author. * Update package relations: + Relax to build-depend unversioned on cdbs: Needed version satisfied in stable, and oldstable no longer supported. -- Jonas Smedegaard Sat, 01 Sep 2012 17:16:56 +0200 fact++ (1.5.3~dfsg-1) unstable; urgency=low * Initial packaging release. Closes: bug#431175. -- Jonas Smedegaard Wed, 27 Jun 2012 20:25:49 +0200 debian/README.source0000644000000000000000000000056312121764047011355 0ustar CDBS+git-buildpackage --------------------- This source package uses CDBS and git-buildpackage. NMUs need not (but are encouraged to) make special use of these tools. In particular, the debian/control.in file can be completely ignored. More info here: http://wiki.debian.org/CDBS+git-buildpackage -- Jonas Smedegaard Mon, 18 Feb 2013 12:55:37 +0100 debian/compat0000644000000000000000000000000212062074356010371 0ustar 8 debian/watch0000644000000000000000000000030511772650010010214 0ustar # Run the "uscan" command to check for upstream updates and more. version=3 opts=dversionmangle=s/~dfsg\d*// \ http://code.google.com/p/factplusplus/downloads/list?can=1 .*/FaCTpp-src-v(\d.+)\.tgz debian/copyright_hints0000644000000000000000000002712312142722602012331 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: FIXME Upstream-Contact: FIXME Source: FIXME Disclaimer: Autogenerated by CDBS Files: src/FaCT++.JNI/Axioms.cpp src/FaCT++.JNI/Expressions.cpp src/FaCT++.JNI/FaCTPlusPlus.cpp src/FaCT++.JNI/JNIActor.h src/FaCT++.JNI/JNIMonitor.h src/FaCT++.JNI/JNISupport.h src/FaCT++.JNI/KnowledgeExploration.cpp src/FaCT++.JNI/Modularity.cpp src/FaCT++.JNI/Queries.cpp src/FaCT++.JNI/tJNICache.h src/FaCT++/lispgrammar.h src/Kernel/Actor.cpp src/Kernel/Actor.h src/Kernel/AtomicDecomposer.cpp src/Kernel/AtomicDecomposer.h src/Kernel/AxiomSplitter.h src/Kernel/BiPointer.h src/Kernel/Blocking.cpp src/Kernel/BuildDAG.cpp src/Kernel/CGLabel.h src/Kernel/CWDArray.cpp src/Kernel/CWDArray.h src/Kernel/CascadedCache.cpp src/Kernel/ConceptWithDep.h src/Kernel/DLConceptTaxonomy.cpp src/Kernel/DLConceptTaxonomy.h src/Kernel/DataReasoning.cpp src/Kernel/DataReasoning.h src/Kernel/DataTypeCenter.cpp src/Kernel/DataTypeCenter.h src/Kernel/DataTypeComparator.h src/Kernel/DeletelessAllocator.h src/Kernel/DepSet.h src/Kernel/ELFAxiomChecker.h src/Kernel/ELFExpressionChecker.h src/Kernel/Input.cpp src/Kernel/KnowledgeExplorer.cpp src/Kernel/KnowledgeExplorer.h src/Kernel/LeveLogger.cpp src/Kernel/LeveLogger.h src/Kernel/LocalityChecker.h src/Kernel/LogicFeature.cpp src/Kernel/LogicFeature.h src/Kernel/Modularity.h src/Kernel/ModuleType.h src/Kernel/Preprocess.cpp src/Kernel/PriorityMatrix.h src/Kernel/ProgressIndicatorInterface.h src/Kernel/RAutomaton.cpp src/Kernel/RAutomaton.h src/Kernel/Reasoner.h src/Kernel/Relevance.cpp src/Kernel/RoleMaster.cpp src/Kernel/RoleMaster.h src/Kernel/SaveLoad.cpp src/Kernel/SearchableStack.h src/Kernel/SemanticLocalityChecker.h src/Kernel/SigIndex.h src/Kernel/SortedReasoning.cpp src/Kernel/Taxonomy.cpp src/Kernel/Taxonomy.h src/Kernel/ToDoList.h src/Kernel/TriRelation.cpp src/Kernel/TriRelation.h src/Kernel/configure.cpp src/Kernel/configure.h src/Kernel/counter.h src/Kernel/cpm.h src/Kernel/cppi.h src/Kernel/dlCompletionGraph.cpp src/Kernel/dlCompletionGraph.h src/Kernel/dlCompletionTree.cpp src/Kernel/dlCompletionTree.h src/Kernel/dlCompletionTreeArc.h src/Kernel/dlDag.cpp src/Kernel/dlDag.h src/Kernel/dlTBox.cpp src/Kernel/dlVHash.h src/Kernel/dlVHashImpl.h src/Kernel/dlVertex.cpp src/Kernel/dlVertex.h src/Kernel/dltree.cpp src/Kernel/dltree.h src/Kernel/dumpInterface.cpp src/Kernel/dumpInterface.h src/Kernel/dumpLisp.cpp src/Kernel/dumpLisp.h src/Kernel/eFPPCantRegName.h src/Kernel/eFPPCycleInRIA.h src/Kernel/eFPPInconsistentKB.h src/Kernel/eFPPNonSimpleRole.h src/Kernel/eFPPSaveLoad.h src/Kernel/eFPPTimeout.h src/Kernel/eFaCTPlusPlus.h src/Kernel/flags.h src/Kernel/fpp_assert.h src/Kernel/globaldef.h src/Kernel/grammar.h src/Kernel/growingArray.h src/Kernel/growingArrayP.h src/Kernel/ifOptions.cpp src/Kernel/ifOptions.h src/Kernel/logging.h src/Kernel/mergableLabel.h src/Kernel/modelCacheConst.h src/Kernel/modelCacheIan.cpp src/Kernel/modelCacheIan.h src/Kernel/modelCacheInterface.h src/Kernel/modelCacheSingleton.h src/Kernel/parseTime.cpp src/Kernel/parseTime.h src/Kernel/tAxiom.cpp src/Kernel/tAxiomSet.cpp src/Kernel/tAxiomSet.h src/Kernel/tBranchingContext.h src/Kernel/tConcept.cpp src/Kernel/tConcept.h src/Kernel/tCounter.h src/Kernel/tDLAxiom.cpp src/Kernel/tDLAxiom.h src/Kernel/tDLExpression.h src/Kernel/tDag2Interface.cpp src/Kernel/tDag2Interface.h src/Kernel/tDataEntry.h src/Kernel/tDataType.h src/Kernel/tDataTypeBool.h src/Kernel/tDataTypeManager.h src/Kernel/tDepSet.h src/Kernel/tExpressionManager.cpp src/Kernel/tExpressionManager.h src/Kernel/tExpressionPrinterLISP.h src/Kernel/tExpressionTranslator.h src/Kernel/tFastSet.h src/Kernel/tHeadTailCache.h src/Kernel/tIndividual.h src/Kernel/tKBFlags.h src/Kernel/tLabeller.h src/Kernel/tLexeme.h src/Kernel/tNAryQueue.h src/Kernel/tNECollection.h src/Kernel/tNameSet.h src/Kernel/tNamedEntry.h src/Kernel/tOntology.h src/Kernel/tOntologyAtom.h src/Kernel/tOntologyLoader.h src/Kernel/tOntologyPrinterLISP.h src/Kernel/tProgressMonitor.h src/Kernel/tRareSaveStack.h src/Kernel/tRelated.h src/Kernel/tRestorer.h src/Kernel/tRole.cpp src/Kernel/tRole.h src/Kernel/tSaveList.h src/Kernel/tSaveStack.h src/Kernel/tSetAsTree.h src/Kernel/tSignature.h src/Kernel/tSignatureUpdater.h src/Kernel/tSplitExpansionRules.cpp src/Kernel/tSplitExpansionRules.h src/Kernel/tSplitVars.h src/Kernel/tSubsumptionMap.cpp src/Kernel/tSubsumptionMap.h src/Kernel/taxNamEntry.h src/Kernel/taxVertex.cpp src/Kernel/taxVertex.h src/Kernel/tsttree.h Copyright: 2003-2004, Dmitry Tsarkov 2003-2006, Dmitry Tsarkov 2003-2007, Dmitry Tsarkov 2003-2008, Dmitry Tsarkov 2003-2009, Dmitry Tsarkov 2003-2010, Dmitry Tsarkov 2003-2011, Dmitry Tsarkov 2003-2012, Dmitry Tsarkov 2003-2013, Dmitry Tsarkov 2005, Dmitry Tsarkov 2005-2008, Dmitry Tsarkov 2005-2010, Dmitry Tsarkov 2005-2011, Dmitry Tsarkov 2005-2012, Dmitry Tsarkov 2006, Dmitry Tsarkov 2006-2008, Dmitry Tsarkov 2006-2009, Dmitry Tsarkov 2006-2010, Dmitry Tsarkov 2006-2011, Dmitry Tsarkov 2006-2012, Dmitry Tsarkov 2006-2013, Dmitry Tsarkov 2007-2010, Dmitry Tsarkov 2007-2013, Dmitry Tsarkov 2008-2009, Dmitry Tsarkov 2008-2012, Dmitry Tsarkov 2009, Dmitry Tsarkov 2009-2010, Dmitry Tsarkov 2009-2012, Dmitry Tsarkov 2009-2013, Dmitry Tsarkov 2010, Dmitry Tsarkov 2010-2011, Dmitry Tsarkov 2010-2012, Dmitry Tsarkov 2011, Dmitry Tsarkov 2011-2012, Dmitry Tsarkov 2011-2013, Dmitry Tsarkov License: LGPL-2.1+ FIXME Files: Models.lisp/DataTypeTest/DataTypeTest.conf Models.lisp/DataTypeTest/DataTypeTest.tbox Models.lisp/DataTypeTest/Makefile Models.lisp/Makefile.default Models.lisp/create-new-test Models.lisp/options.default Models.lisp/query.default README debian/README.source debian/compat debian/control debian/control.in debian/gbp.conf debian/patches/2001_use_default-java_path.patch debian/patches/README debian/patches/series debian/source/format debian/watch src/FaCT++.C/Makefile src/FaCT++.JNI/Makefile src/FaCT++.JNI/uk_ac_manchester_cs_factplusplus_FaCTPlusPlus.h src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataTypeFacet.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlus.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusProgressMonitor.java src/FaCT++.KE/build.xml src/FaCT++.OWLAPIv3/build.xml src/FaCT++.ProtegeOWLAPIv3/META-INF/MANIFEST.MF src/FaCT++.ProtegeOWLAPIv3/build.xml src/FaCT++.ProtegeOWLAPIv3/lib/version.txt src/FaCT++.ProtegeOWLAPIv3/plugin.xml src/FaCT++/Makefile src/Kernel/Makefile src/Makefile src/Makefile.include src/update.properties src/update.properties.p4.1 src/version-info-p4.1.html src/version-info.html Copyright: *No copyright* License: UNKNOWN FIXME Files: src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/AxiomPointer.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/ClassPointer.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataPropertyPointer.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataTypeExpressionPointer.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataTypePointer.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/DataValuePointer.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/FaCTPlusPlusException.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/IndividualPointer.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/NodePointer.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/ObjectPropertyPointer.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/Pointer.java src/FaCT++.Java/uk/ac/manchester/cs/factplusplus/QuietProgressMonitor.java src/FaCT++.KE/src/uk/ac/manchester/cs/factplusplus/owlapiv3/OWLKnowledgeExplorationReasonerWrapper.java src/FaCT++.OWLAPIv3/src/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasoner.java src/FaCT++.OWLAPIv3/src/uk/ac/manchester/cs/factplusplus/owlapiv3/FaCTPlusPlusReasonerFactory.java src/FaCT++.ProtegeOWLAPIv3/src/uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusFactory.java src/FaCT++.ProtegeOWLAPIv3/src/uk/ac/manchester/cs/factplusplus/protege/FaCTPlusPlusRenderingViewComponent.java Copyright: 2006, University of Manchester 2007, University of Manchester 2009, University of Manchester 2009-2010, University of Manchester of their License: LGPL-2.1+ FIXME Files: src/FaCT++/AD.cpp src/FaCT++/comparser.h src/FaCT++/comscanner.h src/FaCT++/parser.cpp src/FaCT++/parser.h src/FaCT++/scanner.h src/Kernel/QR.h src/Kernel/ReasonerNom.cpp src/Kernel/ReasonerNom.h Copyright: 2003-2010, Dmitry Tsarkov 2003-2011, Dmitry Tsarkov 2003-2012, Dmitry Tsarkov 2011, Dmitry Tsarkov License: GPL-2+ FIXME Files: src/FaCT++.C/fact.cpp src/FaCT++.C/fact.h src/FaCT++.C/test.c Copyright: 2011-2012, Dmitry Tsarkov License: LGPL FIXME Files: src/FaCT++/FaCT.cpp Copyright: != NULL ) 2003-2012, Dmitry Tsarkov License: GPL-2+ FIXME Files: src/FaCT++/scanner.cpp Copyright: && !eof; 2003-2012, Dmitry Tsarkov License: GPL-2+ FIXME Files: debian/rules Copyright: 2012-2013, Jonas Smedegaard License: GPL-3+ FIXME Files: licensing/gpl.txt Copyright: 1989, 1991 Free Software Foundation, Inc HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY AND/OR HOLDERS AND/OR OTHER PARTIES disclaimer" for the program, if holder saying it may be distributed holder who places the Program under this License interest in the program law: the software, and year name of author License: GPL-ever FIXME Files: src/Kernel/Kernel.h Copyright: != NULL ) // this is an unknown concept != NULL ) || != NULL ); 2003-2013, Dmitry Tsarkov License: LGPL FIXME Files: src/Kernel/ELFNormalizer.h Copyright: != NULL ) != NULL || != NULL) ) 2011-2012, Dmitry Tsarkov License: LGPL-2.1+ FIXME Files: src/Kernel/dlTBox.h Copyright: != SameI.end(); } 2003-2012, Dmitry Tsarkov ? INAME : CNAME, C ); License: LGPL-2.1+ FIXME Files: src/Kernel/Tactic.cpp Copyright: && DLHeap[C License: LGPL-2.1+ FIXME Files: src/Kernel/SyntacticLocalityChecker.h Copyright: && isTopEquivalent ) 2011-2013, Dmitry Tsarkov License: LGPL-2.1+ FIXME Files: src/Kernel/tAxiom.h Copyright: ) // no sense to replace \AR.BOTTOM as it well lead to the same GCI 2003-2010, Dmitry Tsarkov || !getConcept->isSystem(); License: LGPL-2.1+ FIXME Files: src/Kernel/Kernel.cpp Copyright: 2003-2013, Dmitry Tsarkov << ". Version " << Version << " (" << ReleaseDate << ")\n"; Dmitry Tsarkov, 2002-2013"; License: LGPL-2.1+ FIXME Files: src/Kernel/procTimer.h Copyright: 2003-2008, Dmitry Tsarkov Tsarkov Dmitry, 2003 License: LGPL-2.1+ FIXME Files: src/Kernel/Reasoner.cpp Copyright: 2003-2012, Dmitry Tsarkov node, p->bp-1 -- to the split node License: LGPL-2.1+ FIXME Files: src/Kernel/ELFReasoner.h Copyright: 2011-2012, Dmitry Tsarkov structure License: LGPL-2.1+ FIXME Files: licensing/lgpl-2.1.txt Copyright: 1991, 1999 Free Software Foundation, Inc HOLDER, OR ANY OTHER PARTY WHO MAY MODIFY HOLDERS AND/OR disclaimer" for the library, if holder or holder who places the Library under this License may add interest in the law: that is to say, a work containing the Library or a notices, you must include the the License: LGPL-ever FIXME Files: licensing/xerces-c.license.txt Copyright: 1999, International 1999-2004, The Apache Software Foundation. All rights License: UNKNOWN FIXME Files: licensing/README.buddy Copyright: 1996-2002, Jorn Lind-Nielsen License: UNKNOWN FIXME Files: licensing/FaCT++.license.txt Copyright: The Victoria University of Manchester 2004 License: UNKNOWN FIXME debian/copyright0000644000000000000000000000643212142722516011130 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: FaCT++ Upstream-Contact: Dmitry Tsarkov Source: https://code.google.com/p/factplusplus/ Repackaged, excluding source-less and possibly non-DFSG binary code Files-Excluded: src/FaCT++.OWLAPI/lib/owlapi-src.jar src/FaCT++.OWLAPI/lib/owlapi-bin.jar src/FaCT++.OWLAPIv3/lib/owlapi-src.jar src/FaCT++.OWLAPIv3/lib/owlapi-bin.jar Files: * Copyright: 2003-2013, Dmitry Tsarkov License: LGPL-2.1+ Files: */uk/ac/manchester/cs/factplusplus/* Copyright: 2006-2007,2009-2010, University of Manchester License: LGPL-2.1+ Files: src/FaCT++/comparser.h src/FaCT++/comscanner.h src/FaCT++.DIG/digFaCT.cpp src/FaCT++.DIG/digFileInterface.cpp src/FaCT++.DIG/digFileInterface.h src/FaCT++/FaCT.cpp src/FaCT++/parser.cpp src/FaCT++/parser.h src/FaCT++/scanner.cpp src/FaCT++/scanner.h src/Kernel/QR.h src/Kernel/ReasonerNom.cpp src/Kernel/ReasonerNom.h Copyright: 2003-2012, Dmitry Tsarkov License: GPL-2+ Files: debian/* Copyright: 2012-2013, Jonas Smedegaard License: GPL-3+ License: LGPL-2.1+ This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. . This library 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 Lesser General Public License for more details. . Comment: . On Debian systems the 'GNU Lesser General Public License' version 2.1 is located in '/usr/share/common-licenses/LGPL-2.1'. . You should have received a copy of the 'GNU Lesser General Public License' along with this program. If not, see . License: GPL-2+ This program 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 program 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. . Comment: . On Debian systems the 'GNU General Public License' version 2 is located in '/usr/share/common-licenses/GPL-2'. . You should have received a copy of the 'GNU General Public License' along with this program. If not, see . License: GPL-3+ This program 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 3, or (at your option) any later version. . This program 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. . Comment: . On Debian systems the 'GNU General Public License' version 3 is located in '/usr/share/common-licenses/GPL-3'. debian/gbp.conf0000644000000000000000000000014611201543606010604 0ustar # Configuration file for git-buildpackage and friends [DEFAULT] pristine-tar = True sign-tags = True debian/rules0000755000000000000000000000515412142722452010254 0ustar #!/usr/bin/make -f # -*- mode: makefile; coding: utf-8 -*- # Copyright © 2012, 2013 Jonas Smedegaard # Description: Main Debian packaging script for FaCT++ # # This program 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 3, or (at your option) # any later version. # # This program 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 program. If not, see . # DEB_BUILDDIR unused but required by CDBS sanity check DEB_BUILDDIR = build DEB_MAKE_FLAVORS = lisp kernel -include /usr/share/cdbs/1/rules/upstream-tarball.mk include /usr/share/cdbs/1/rules/utils.mk include /usr/share/cdbs/1/class/makefile.mk include /usr/share/cdbs/1/rules/debhelper.mk DEB_UPSTREAM_PACKAGE = FaCTpp DEB_UPSTREAM_TARBALL_BASENAME_MANGLE = s/-/-src-v/ DEB_UPSTREAM_URL = http://factplusplus.googlecode.com/files DEB_UPSTREAM_TARBALL_EXTENSION = tgz DEB_UPSTREAM_TARBALL_SRCDIR = FaCT++-$(DEB_UPSTREAM_TARBALL_VERSION) DEB_UPSTREAM_TARBALL_MD5 = 0d0ed4a3f3ea333ae05f7c9ea2eba4e3 # possibly non-DFSG JAR files DEB_UPSTREAM_REPACKAGE_EXCLUDES += \ ./src/FaCT++.OWLAPI/lib/owlapi-src.jar \ ./src/FaCT++.OWLAPI/lib/owlapi-bin.jar \ ./src/FaCT++.OWLAPIv3/lib/owlapi-src.jar \ ./src/FaCT++.OWLAPIv3/lib/owlapi-bin.jar pkg = $(DEB_SOURCE_PACKAGE) # subdirs contain chars unusable as flavor labels so are added manually DEB_MAKE_BUILDDIRSKEL = $(cdbs_curbuilddir) CDBS_BUILD_DEPENDS += , cloog-ppl DEB_BUILDDIR_kernel = src/Kernel DEB_BUILDDIR_lisp = src/FaCT++ ifneq (,$(filter lisp,$(DEB_MAKE_FLAVORS))) binaries += src/FaCT++/obj/FaCT++ endif debian/stamp-makefile-build/lisp: debian/stamp-makefile-build/kernel DEB_BUILDDIR_jni = src/FaCT++.JNI ifneq (,$(filter jni,$(DEB_MAKE_FLAVORS))) CDBS_BUILD_DEPENDS += , default-jdk DEB_INSTALL_EXAMPLES_$(pkg) += src/FaCT++.JNI/obj/libFaCTPlusPlusJNI.so endif debian/stamp-makefile-build/jni: debian/stamp-makefile-build/kernel # Include CPPFLAGS - e.g. for security hardening DEB_MAKE_EXTRA_ARGS += DEFINES="$(CPPFLAGS)" # Support non-optimized builds ifneq (,$(filter noopt,$(DEB_BUILD_OPTIONS))) DEB_MAKE_EXTRA_ARGS += GENERAL_DEFINES= endif # TODO: make testsuite work #PATH=$PWD/src/FaCT++:$PATH make -C Models.lisp/DataTypeTest DEB_DH_INSTALL_ARGS_$(pkg) = $(binaries) $(if $(binaries), usr/bin) debian/control.in0000644000000000000000000000152012142722403011171 0ustar Source: fact++ Section: x11 Priority: optional Maintainer: Jonas Smedegaard Build-Depends: @cdbs@ Standards-Version: 3.9.4 Homepage: http://owl.man.ac.uk/factplusplus/ Vcs-Git: git://anonscm.debian.org/git/collab-maint/fact++.git Vcs-Browser: http://anonscm.debian.org/gitweb/?p=collab-maint/fact++.git Package: fact++ Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, dbus-x11 Suggests: antiword, catdoc, catdvi, djvulibre-bin, poppler-utils | xpdf-utils, rpm, unrtf, unzip Description: description logic reasoner for the semantic web FaCT++ is a DL reasoner. It supports OWL DL as well as the forthcoming standard OWL 1.1. FaCT++ is implemented in C++ and uses optimised tableaux algorithms. The tool is probably best known for its compatibility with the tool Protege that helps to formally represent semantics.