Bug 19036 – otter-3.2.ebuild (New Package)

• Product: Gentoo Linux
• Status: RESOLVED FIXED

[Description Meghan Claire Pike 2003-04-09 09:46:32 UTC]

Otter is an Automated Deduction System, From the Website: 

Our current automated deduction system Otter is designed to prove theorems
stated in first-order logic with equality. Otter's inference rules are based on
resolution and paramodulation, and it includes facilities for term rewriting,
term orderings, Knuth-Bendix completion, weighting, and strategies for directing
and restricting searches for proofs. Otter can also be used as a symbolic
calculator and has an embedded equational programming system. Otter is a
fourth-generation Argonne National Laboratory deduction system whose ancestors
(dating from the early 1960s) include the TP series, NIUTP, AURA, and ITP.

3.2 is the latest version. Unfortunately the Licence doesn't seem to be in the
Licences directory. (It's a U.S. Government one) I've hopefully attached it to
this bug as 'Legal'. 

I would suggest app-sci/otter. This ebuild doens't depend on anything, as I can
tell. Just being able to compile c programs, no particular version of glibc or
anything is required. 

Reproducible: Always
Steps to Reproduce:
1.
2.
3.

[Comment 1 Meghan Claire Pike 2003-04-09 09:48:00 UTC]

Created attachment 10434 [details]
otter-3.2.ebuild 

ebuild file

[Comment 2 Meghan Claire Pike 2003-04-09 09:48:33 UTC]

Created attachment 10435 [details]
Licence terms for otter

[Comment 3 Meghan Claire Pike 2003-04-09 10:51:13 UTC]

Created attachment 10436 [details]
otter ebuild file - better version

sorry about the first one. V-naughty of me.

[Comment 4 George Shapovalov (RETIRED) 2003-05-16 06:02:36 UTC]

Hi Meghan.

Thanks for your submission!
I have processed and committed the build. Please test.

Few small notes:
1. it is best to use constructs like ${PN} ${P} where possible
2. it is better to use ${var} form instead of $var
3. You could have groupped mutiple dobin and dodoc's like this is now done in ebuild

George

[Comment 5 George Shapovalov (RETIRED) 2003-12-31 10:31:51 UTC]

reclosing the bug

[Comment 6 George Shapovalov (RETIRED) 2003-12-31 20:06:02 UTC]

Bumped to 3.3, needed to do some adjustments, as build procedure slightly changed.
Reclosing the bug.

George