19036 2003-04-09 09:46 0000 otter-3.2.ebuild (New Package) 2003-12-31 20:06:02 0000 1 1 1 Unclassified Gentoo Linux Ebuilds unspecified All Linux RESOLVED FIXED P2 enhancement --- 1 s0199782@sms.ed.ac.uk george@gentoo.org s0199782@sms.ed.ac.uk 2003-04-09 09:46:32 0000 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. s0199782@sms.ed.ac.uk 2003-04-09 09:48:00 0000 Created an attachment (id=10434) otter-3.2.ebuild ebuild file s0199782@sms.ed.ac.uk 2003-04-09 09:48:33 0000 Created an attachment (id=10435) Licence terms for otter s0199782@sms.ed.ac.uk 2003-04-09 10:51:13 0000 Created an attachment (id=10436) otter ebuild file - better version sorry about the first one. V-naughty of me. george@gentoo.org 2003-05-16 06:02:36 0000 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 george@gentoo.org 2003-12-31 10:31:51 0000 reclosing the bug george@gentoo.org 2003-12-31 20:06:02 0000 Bumped to 3.3, needed to do some adjustments, as build procedure slightly changed. Reclosing the bug. George 10434 2003-04-09 09:48 0000 otter-3.2.ebuild otter-3.2.ebuild application/octet-stream IyBDb3B5cmlnaHQgMTk5OS0yMDAzIEdlbnRvbyBUZWNobm9sb2dpZXMsIEluYy4KIyBEaXN0cmli dXRlZCB1bmRlciB0aGUgdGVybXMgb2YgdGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBMaWNlbnNlIHYy CgpERVNDUklQVElPTj0iQW4gQXV0b21hdGVkIERlZHVjdGlvbiBTeXN0ZW0uIgpTUkNfVVJJPSJo dHRwOi8vd3d3LXVuaXgubWNzLmFubC5nb3YvQVIvb3R0ZXIvb3R0ZXItMy4yLnRhci5neiIKSE9N RVBBR0U9Imh0dHA6Ly93d3ctdW5peC5tY3MuYW5sLmdvdi9BUi9vdHRlci8iCgpLRVlXT1JEUz0i eDg2IgpMSUNFTlNFPSJHUEwtMiIKU0xPVD0iMCIKSVVTRT0iIgpERVBFTkQ9IiIKUz0ke1dPUktE SVJ9L290dGVyLTMuMi9zb3VyY2UKV09SSz0ke1dPUktESVJ9L290dGVyLTMuMgoKCnNyY19jb21w aWxlKCkgewoJY2QgJFMKCWVtYWtlIHx8IGRpZQoJY2QgJFMvbWFjZQoJZW1ha2UgfHwgZGllCn0K CnNyY19pbnN0YWxsKCkgewoJZG9iaW4gJFMvb3R0ZXIKCWRvYmluICRTL21hY2UvbWFjZQoJZG9i aW4gJFMvZm9ybWVkL2Zvcm1lZAoJZG9kb2MgJFdPUksvUkVBRE1FCglkb2RvYyAkV09SSy9MZWdh bAoJZG9kb2MgJFdPUksvQ29weWluZwoJZG9kb2MgJFdPUksvQ2hhbmdlbG9nCglkb2h0bWwgJFdP UksvZG9jdW1lbnRzLyoKfQoK 10435 2003-04-09 09:48 0000 Licence terms for otter Legal text/plain T3R0ZXIgYW5kIE1BQ0UgTGVnYWwgSW5mb3JtYXRpb24KCk5vdmVtYmVyIDIxLCAyMDAxLgoKVGhp cyBpbmZvcm1hdGlvbiByZWZlcnMgdG8gdGhlIE90dGVyIGFuZCBNQUNFIGF1dG9tYXRlZCBkZWR1 Y3Rpb24Kc29mdHdhcmUsIGNyZWF0ZWQgYXQgQXJnb25uZSBOYXRpb25hbCBMYWJvcmF0b3J5LgoK Q29weXJpZ2h0cwoKVGhlIFVuaXZlcnNpdHkgb2YgQ2hpY2FnbyBoYXMgZGVjbGluZWQgdG8gYXNz ZXJ0IGl0cwpjb3B5cmlnaHRzIGluIHRoaXMgc29mdHdhcmUuICBJdCBtYXkgYmUgdXNlZCBieSB0 aGUgcHVibGljIHdpdGhvdXQKcmVzdHJpY3Rpb24gYW5kIGlzIGF2YWlsYWJsZSBieSBkb3dubG9h ZCBhdCB3d3cubWNzLmFubC5nb3YvQVIvb3R0ZXIvLgoKTGljZW5zZQoKVGhpcyBtYXRlcmlhbCBy ZXN1bHRlZCBmcm9tIHdvcmsgZGV2ZWxvcGVkIHVuZGVyIGEgVS5TLiBHb3Zlcm5tZW50IGNvbnRy YWN0IAphbmQgaXMgc3ViamVjdCB0byB0aGUgZm9sbG93aW5nIGxpY2Vuc2U6IHRoZSBHb3Zlcm5t ZW50IGlzIGdyYW50ZWQgZm9yIAppdHNlbGYgYW5kIHRoZSBwdWJsaWMgYSBwYWlkLXVwLCBub25l eGNsdXNpdmUsIGlycmV2b2NhYmxlIHdvcmxkd2lkZSAKbGljZW5zZSBpbiB0aGlzIG1hdGVyaWFs IHRvIHJlcHJvZHVjZSwgcHJlcGFyZSBkZXJpdmF0aXZlIHdvcmtzLCBkaXN0cmlidXRlIApjb3Bp ZXMgdG8gdGhlIHB1YmxpYywgYW5kIHBlcmZvcm0gcHVibGljbHkgYW5kIGRpc3BsYXkgcHVibGlj bHkuCgpEaXNjbGFpbWVyCgpORUlUSEVSIFRIRSBVTklURUQgU1RBVEVTIEdPVkVSTk1FTlQgTk9S IEFOWSBBR0VOQ1kgVEhFUkVPRiwgTk9SIEFOWSBPRiAKVEhFSVIgRU1QTE9ZRUVTIE9SIE9GRklD RVJTLCBNQUtFUyBBTlkgIFdBUlJBTlRZLCBFWFBSRVNTIE9SIElNUExJRUQsIE9SIApBU1NVTUVT IEFOWSBMRUdBTCBMSUFCSUxJVFkgT1IgUkVTUE9OU0lCSUxJVFkgRk9SIFRIRSBBQ0NVUkFDWSwg CkNPTVBMRVRFTkVTUywgT1IgVVNFRlVMTkVTUyBPRiBBTlkgSU5GT1JNQVRJT04sIEFQUEFSQVRV UywgUFJPRFVDVCwgT1IgClBST0NFU1MgRElTQ0xPU0VELCBPUiBSRVBSRVNFTlRTIFRIQVQgSVRT IFVTRSBXT1VMRCBOT1QgSU5GUklOR0UgUFJJVkFURUxZIApPV05FRCBSSUdIVFMuCgo= 10436 2003-04-09 10:51 0000 otter ebuild file - better version otter-3.2.ebuild application/octet-stream IyBDb3B5cmlnaHQgMTk5OS0yMDAzIEdlbnRvbyBUZWNobm9sb2dpZXMsIEluYy4KIyBEaXN0cmli dXRlZCB1bmRlciB0aGUgdGVybXMgb2YgdGhlIEdOVSBHZW5lcmFsIFB1YmxpYyBMaWNlbnNlIHYy CiMgJEhlYWRlcjogJAoKREVTQ1JJUFRJT049IkFuIEF1dG9tYXRlZCBEZWR1Y3Rpb24gU3lzdGVt LiIKU1JDX1VSST0iaHR0cDovL3d3dy11bml4Lm1jcy5hbmwuZ292L0FSL290dGVyL290dGVyLTMu Mi50YXIuZ3oiCkhPTUVQQUdFPSJodHRwOi8vd3d3LXVuaXgubWNzLmFubC5nb3YvQVIvb3R0ZXIv IgoKS0VZV09SRFM9Ing4NiIKTElDRU5TRT0iIgpTTE9UPSIwIgpJVVNFPSIiCkRFUEVORD0idmly dHVhbC9nbGliYyIKUz0ke1dPUktESVJ9L290dGVyLTMuMi9zb3VyY2UKV09SSz0ke1dPUktESVJ9 L290dGVyLTMuMgoKCnNyY19jb21waWxlKCkgewoJY2QgJFMKCWVtYWtlIHx8IGRpZQoJY2QgJFMv bWFjZQoJZW1ha2UgfHwgZGllCn0KCnNyY19pbnN0YWxsKCkgewoJZG9iaW4gJFMvb3R0ZXIKCWRv YmluICRTL21hY2UvbWFjZQoJZG9iaW4gJFMvZm9ybWVkL2Zvcm1lZAoJZG9kb2MgJFdPUksvUkVB RE1FCglkb2RvYyAkV09SSy9MZWdhbAoJZG9kb2MgJFdPUksvQ29weWluZwoJZG9kb2MgJFdPUksv Q2hhbmdlbG9nCglkb2h0bWwgJFdPUksvZG9jdW1lbnRzLyoKfQoK