Commit 22d1342d authored by Jonas Smedegaard's avatar Jonas Smedegaard

Initial packaging.

parent 72536e1b
# EYE in Debian
The executable has been provided as eye.pvm (not eye)
to avoid conflict with unrelated process monitoring tool by same name.
-- Jonas Smedegaard <dr@jones.dk> Sat, 02 Feb 2019 10:57:09 +0100
eye (19.0116.1239~ds-1) unstable; urgency=low
* Initial release.
Closes: bug#921147.
-- Jonas Smedegaard <dr@jones.dk> Sat, 02 Feb 2019 12:32:38 +0100
Source: eye
Section: science
Priority: optional
Maintainer: Jonas Smedegaard <dr@jones.dk>
Build-Depends:
curl,
debhelper,
help2man,
swi-prolog-nox,
Standards-Version: 4.3.0
Homepage: https://github.com/josd/eye
Vcs-Browser: https://salsa.debian.org/debian/eye
Vcs-Git: https://salsa.debian.org/debian/eye.git
Rules-Requires-Root: no
Package: eye
Architecture: all
Depends:
# swi-prolog-nox,
${misc:Depends},
Recommends:
curl,
Suggests:
swap-cwm,
Enhances:
swap-cwm,
Description: semantic web reasoning engine
Euler Yet another proof Engine (EYE) is a reasoning engine
supporting the Semantic Web layers.
It performs semibackward chaining and it supports Euler paths.
Via N3 it is interoperable with Cwm.
.
Semibackward chaining
is backward chaining for rules using <= in N3
and forward chaining for rules using => in N3.
This can be seen in EYE Reasoning.
.
Euler paths are roughly "don't step in your own steps"
which is inspired by what Leonhard Euler discovered in 1736
for the Königsberg Bridge Problem.
EYE sees the rule P => C as P & NOT(C) => C.
.
Notation3 (N3) is a shorthand non-XML serialization
of Resource Description Framework (RDF) models,
designed with human-readability in mind:
N3 is much more compact and readable than XML RDF notation.
.
Resource Description Framework (RDF) is a standard model
for data interchange on the Web.
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: EYE
Upstream-Contact: https://github.com/josd/eye/issues
Source: https://github.com/josd/eye/tags
https://github.com/josd/eye.git
git://github.com/josd/eye.git
Repackaged, excluding code copies.
Files-Excluded:
eye.zip
Files: *
Copyright: 2009, Jos De Roo
License: Expat
Files: debian/*
Copyright: 2016-2019, Jonas Smedegaard <dr@jones.dk>
License-Grant:
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.
License: GPL-3+
License: Expat
Permission is hereby granted, free of charge,
to any person obtaining a copy
of this software and associated documentation files (the "Software"),
to deal in the Software without restriction,
including without limitation the rights
to use, copy, modify, merge, publish, distribute, sublicense,
and/or sell copies of the Software,
and to permit persons to whom the Software is furnished
to do so, subject to the following conditions:
.
The above copyright notice and this permission notice shall be included
in all copies or substantial portions of the Software.
.
THE SOFTWARE IS PROVIDED "AS IS",
WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED,
INCLUDING BUT NOT LIMITED TO
THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE
AND NONINFRINGEMENT.
IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE
FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE,
ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE
OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
License: GPL-3+
License-Reference: /usr/share/common-licenses/GPL-3
#!/bin/sh
# Copyright © 2016-2019 Jonas Smedegaard <dr@jones.dk>
# Description: helper script to update copyright_hints
#
# 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 <http://www.gnu.org/licenses/>.
set -eu
# * extract metadata from graphics files before copyright check
# * skip data files unlikely to contain copyright/licensing info
export DEB_COPYRIGHT_EXTRACT_EXTS="jpg png"
export DEB_COPYRIGHT_CHECK_IGNORE_EXTS="wav"
make -f /usr/share/cdbs/1/rules/utils.mk pre-build || true
make -f /usr/share/cdbs/1/rules/utils.mk clean DEB_COPYRIGHT_CHECK_STRICT=1
# unconditionally merge changes - safe to do with git-tracked package
[ ! -f debian/copyright_newhints ] || mv -f debian/copyright_newhints debian/copyright_hints
This diff is collapsed.
README.md
# Configuration file for git-buildpackage and friends
[DEFAULT]
pristine-tar = True
sign-tags = True
filter = */.git*
eye.pvm /usr/bin
--- a/eye.prolog
+++ b/eye.prolog
@@ -60,9 +60,8 @@
OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
SOFTWARE.').
-help_info('Usage: eye <options>* <data>* <query>*
-eye
- swipl -x eye.pvm --
+help_info('Usage: eye.pvm <options>* <data>* <query>*
+
<options>
--carl use external carl parser
--curl-http-header <field> to pass HTTP header <field> to curl
2001_rename_executable.patch
#!/usr/bin/make -f
cmd = eye.pvm
# generate manpage with help2man from --help option of executable
_mkman = help2man $(if $3,--name "$(strip $3)") --no-info --no-discard-stderr --output $2 $1 \
|| { $1 --help; false; }
override_dh_auto_build:
swipl -q -f eye.prolog -g main -- --image $(cmd)
$(call _mkman, ./$(cmd), debian/$(cmd).1, \
Euler Yet another proof Engine (EYE) semantic web reasoning engine)
# fix hashbang
override_dh_installexamples:
dh_installexamples
find debian/*/usr/share/doc/*/examples -type f -name test -print0 | \
xargs -r0 sed -i -e '2s|^eye |eye.pvm |'
%:
dh $@
# License is in License-Reference field (see bug#786450)
missing-license-paragraph-in-dep5-copyright gpl-3\+ *
missing-license-text-in-dep5-copyright GPL-3\+ *
Test-Command: prove debian/tests/*.t
Depends:
libtest-command-simple-perl,
perl,
@,
Test-Command: EXTENDED_TESTING=1 prove debian/tests/net/*.t
Restrictions: flaky
Depends:
curl,
libtest-command-simple-perl,
perl,
@,
use strict;
use warnings;
use Test::More;
use Test::Command::Simple;
my $CMD = 'eye.pvm';
run_ok $CMD;
cmp_ok stdout, 'eq', '', 'bare command, stdout';
like stderr, qr/Usage: $CMD/, 'bare command, stderr';
run_ok $CMD, '--help';
cmp_ok stdout, 'eq', '', 'help, stdout';
like stderr, qr/Usage: $CMD/, 'help, stderr';
run_ok $CMD, qw(--n3 reasoning/socrates/socrates.n3 --query reasoning/socrates/socratesF.n3);
like stdout, qr/r:because/, 'help, stderr';
like stderr, qr/starting .*\nGET .*\nnetworking .*\nreasoning/s, 'help, stderr';
done_testing;
use strict;
use warnings;
use Test::More;
use Test::Command::Simple;
my $CMD = 'eye.pvm';
# network access may be absent or unreliable
plan skip_all => 'network test skipped when EXTENDED_TESTING is unset'
unless ($ENV{EXTENDED_TESTING});
run_ok $CMD, qw(--n3 http://josd.github.io/eye/reasoning/socrates/socrates.n3 --query http://josd.github.io/eye/reasoning/socrates/socratesF.n3);
like stdout, qr/r:because/, 'help, stderr';
like stderr, qr/starting .*\nGET .*\nnetworking .*\nreasoning/s, 'help, stderr';
done_testing;
# run "uscan --report" to check or "gpb import-orig --uscan" to update
version=4
opts="\
dversionmangle=s/~ds\d*$//,repacksuffix=~ds,\
filenamemangle=s%(?:.*?)?v?(@ANY_VERSION@@ARCHIVE_EXT@)%@PACKAGE@-$1%" \
https://github.com/josd/eye/tags \
(?:.*?/)?v?@ANY_VERSION@@ARCHIVE_EXT@
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment