diff options
Diffstat (limited to 'dev-ml')
-rw-r--r-- | dev-ml/Manifest.gz | bin | 39779 -> 39794 bytes | |||
-rw-r--r-- | dev-ml/camlp5/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/camlp5/camlp5-8.03.00.ebuild | 69 | ||||
-rw-r--r-- | dev-ml/jingoo/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/jingoo/jingoo-1.5.0.ebuild | 27 | ||||
-rw-r--r-- | dev-ml/ocamlbuild/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/ocamlbuild/ocamlbuild-0.15.0.ebuild | 51 | ||||
-rw-r--r-- | dev-ml/ocplib-simplex/Manifest | 2 | ||||
-rw-r--r-- | dev-ml/ocplib-simplex/ocplib-simplex-0.5.1.ebuild | 24 |
9 files changed, 179 insertions, 0 deletions
diff --git a/dev-ml/Manifest.gz b/dev-ml/Manifest.gz Binary files differindex e0053b6c44a9..cd1fabb3bb95 100644 --- a/dev-ml/Manifest.gz +++ b/dev-ml/Manifest.gz diff --git a/dev-ml/camlp5/Manifest b/dev-ml/camlp5/Manifest index decae6c68df0..a3811767822a 100644 --- a/dev-ml/camlp5/Manifest +++ b/dev-ml/camlp5/Manifest @@ -1,7 +1,9 @@ DIST camlp5-8.00.04.tar.gz 1232659 BLAKE2B 47dd18e9c518b0dccda62d054d7950dffa025a129c81eb673e6caf11f37c2af1644de861288af2ecb8e95ee4d21bf0a1d69da4fe9ed5b3d1cf3bf1012ea06d4c SHA512 0951a9528c8c9b4becf54b352a6f897cb1af26de437a137757d597a3a2ad8aef1160a3c326c9503f783bccd154d8c14a354d3a35baae2bb551611697ce4f5327 DIST camlp5-8.00.05.tar.gz 1237587 BLAKE2B 1028b1e77a048a6b2e8df4ab58171d4e182a21aa1ca01113fc0cb8b7e6f61b5db58e8c3a2f149d05c056fbd48c0c0d97e597121e4b2b55d62f1f62d80e92312b SHA512 f4cee1fba85dc3a7479929facd79d0b88f23de575107886a8d4c41cd4a0bee21ccc72f2791712635e401ca10c3ec24cfea32558eca09ba6616e01e8433c57bbe DIST camlp5-8.02.00.tar.gz 1260249 BLAKE2B d205cf29207c925bc52098c9e1e74c76b851c71514bc7ae6f6c1ff3c7bf971f7cf6974625c484d2ddf252d0befc557e3b2dd7134e8f5bed270d59d40f15be9a8 SHA512 6e3caccc780f8de1d5804ae8f5700d29255f968f7f8ee3f9ef6f3456883d63aeb0abe797233823fd368b40b74feb1f537c3a61ce35d0c9c2737ab06743a09ddd +DIST camlp5-8.03.00.tar.gz 1284346 BLAKE2B 1c73c3093597b6ff7ad5b571880c8e3981edd9f9ec63b7770043e05514b87532f345dfe89eae7cf96cfd928ea36d036081ee000d0ca119d4e7d8bc96e5f5b337 SHA512 2e595aba439e9e2ce8e87d21a79e7e71e17ff460bd83ee2484dc38f171bb3d146f3ae2475b4d48f163f193c347b4485478f62a527503172d1210bb7ce9571664 EBUILD camlp5-8.00.04.ebuild 1027 BLAKE2B 2f87e4c473412a2a29db37eef23185e37fc9bc6cb3938c2362efd3fda5bfdca8e5b6daa77842cffe62136537c1fc854f18aa3b11af026bbf9b7905200b1b61aa SHA512 d848ddcfdde33335f8b089152d4d2ce23f24e6900dc608c08bcb1556682691fe708db2d864687375f3786c6c805566e1f007b2db555e43686fd168d6eb7eadd2 EBUILD camlp5-8.00.05-r1.ebuild 1063 BLAKE2B b1f522d4899b5611d2ae4fba201ffb7287c9d5cb43b9c30fe433ccde7eea9ba264382509cb5b0ccf88b6e63ac226f3b7a6c4b346a05664e8151e93e156758e6e SHA512 20ce339fc13a53a0f99a6b25a252abc8cee6a2b79a94bdf42aecb0186a269875aab7fc083434578cd8209f393ca54a09481be2b1a1e2a96f2f336b21b6ca0141 EBUILD camlp5-8.02.00-r1.ebuild 1235 BLAKE2B 2ae733c450ef42eba891eb938a9eafdfbb5ba608db3dc15e3f0a4268209da2d2c082b68b2ed6c5816b172ded6356daa1fdc80a97978e888dfea6ec5d12c9f88d SHA512 840977f448b9e670da2654e176a8a1a41a145b3229db61d077fa6ec5bcf1899b95de1c350bb53150d2bd7836894606f6aa119acded2f29c5239def09db21095a +EBUILD camlp5-8.03.00.ebuild 1240 BLAKE2B f7ffb14c0d442f77fccdbca1ff168be7250a0c492c01ef42304250e1bf5f5172b87e45b0a3ec4419191f6478dbc2f5488d73a96bbcb2d6c0da0d8e2517eae125 SHA512 98a05b904bbbc18603785c8c3cc0e9b1a69024ba7750a1e760d66ec55e5a7306671a666db18509c4311ccc2d4722c69f1efe83c6b2f343711b888f9e01961191 MISC metadata.xml 311 BLAKE2B ef93d263a9d778f941d96dca1ece274461848e686ff734be2bfd263d40e4c4601bfdedd43ede207c877e7e53f83d33bc9731548208d967cf53b273060e07c23c SHA512 c0696f3af354837edfa9716842763347f3c30340e6e517f806d6f2ad9d1160b748e26864d520bea467977a8285847fd52999aabf1aa741fdb2e122b18635d38d diff --git a/dev-ml/camlp5/camlp5-8.03.00.ebuild b/dev-ml/camlp5/camlp5-8.03.00.ebuild new file mode 100644 index 000000000000..b427939c85a1 --- /dev/null +++ b/dev-ml/camlp5/camlp5-8.03.00.ebuild @@ -0,0 +1,69 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit findlib vcs-clean + +DESCRIPTION="A preprocessor-pretty-printer of ocaml" +HOMEPAGE="https://camlp5.github.io/" +SRC_URI="https://github.com/${PN}/${PN}/archive/refs/tags/${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="BSD" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~ppc ~ppc64 ~x86" +IUSE="doc +ocamlopt" + +RDEPEND=" + dev-ml/bos:= + dev-ml/camlp-streams:=[ocamlopt?] + dev-ml/fmt:=[ocamlopt?] + dev-ml/fpath:= + dev-ml/logs:=[ocamlopt?] + dev-ml/re:=[ocamlopt?] + dev-ml/rresult:= +" +DEPEND="${RDEPEND}" + +src_prepare() { + egit_clean + default +} + +src_configure() { + ./configure \ + --strict \ + -prefix /usr \ + -bindir /usr/bin \ + -libdir /usr/$(get_libdir)/ocaml \ + -mandir /usr/share/man || die "configure failed" +} + +src_compile() { + ulimit -s 11530000 + emake out + if use ocamlopt; then + emake opt + emake opt.opt + fi +} + +src_test() { + ulimit -s 11530000 + emake bootstrap + if use ocamlopt; then + emake opt + emake opt.opt + fi +} + +src_install() { + emake DESTDIR="${ED}" install + # findlib support + insinto "$(ocamlfind printconf destdir)/${PN}" + doins etc/META + + dodoc -r doc/* + dodoc CHANGES DEVEL ICHANGES README.md UPGRADING MODE +} diff --git a/dev-ml/jingoo/Manifest b/dev-ml/jingoo/Manifest index 56d0808b13bb..b0ccb6aa011e 100644 --- a/dev-ml/jingoo/Manifest +++ b/dev-ml/jingoo/Manifest @@ -1,5 +1,7 @@ DIST jingoo-1.4.2.tar.gz 67611 BLAKE2B 5d2ead117863a2edd18320da4fa7539a7ebd6c537509b5cd37df3778d90c3459dde73d03d3d97b0ed64cfa4b7ef46f620e5638dd75f7e5b290340cc53761deea SHA512 d54d9114b87efdf49b81931b28ee2b61edbd984792c8371f7498b42175f574da7d2774b7b28702b62eeae704168e18c7e9283c4618045abc559b2d1d680e92ad DIST jingoo-1.4.4.tar.gz 68818 BLAKE2B d6049e06dee9ff9bf3a649ce46aafb3c281c5bce312fd7f9723ee682da641e3664c699cc9eca8fb5dbd55540f3ad74b64268fcbc0e56f46a8af36ef2b3c7b996 SHA512 bb46c2cfdb98f188319ce60e0623c0e1e980ff44235029788bd2fb14c2ec3650866deadea9004abdcfa14b031f42bd2327341a60623bd4d86fb0e37c34a7935a +DIST jingoo-1.5.0.tar.gz 69958 BLAKE2B c636b32aa81b5a6715083a06d48699f5943f608ff77cf1191231264cbeff924b46f44170794d7eb7d05b36dab3d4783e5785e1f2c283b14a68201e117ae08ec9 SHA512 7ef11809b3af5a5f8b6bb53c79025b0a8fb8d59f2f4b362e7cd75c7a7e4d555080a54d05338a5f86ce8677580353351bdb734c5e6381466131534e9621ecd41d EBUILD jingoo-1.4.2.ebuild 718 BLAKE2B e9e70ed5a773e1c70b2a5ac858d5306d98199b803e02b0fbbe2c8b8f27261b887694b537a4ac13fee1559120f4d33631b840875d652b791409ddb176a722caf3 SHA512 4439cce76334d0e16902d15b20ea432d7faf36bd9ba3451c33a4fd5d8af60201bb85cc374fe6a3c9761e8c532316793128073bcd6e3cbb29176a487e266a9215 EBUILD jingoo-1.4.4.ebuild 627 BLAKE2B 6dbdde8d600a2aa109bf975bf2e3d731ea7e945ae7da457e0e74198f14ab39e8890b7f0b0c9e8228ff77461558f45c88262bbf0d17f3c769458af08e7332b55f SHA512 a5977d86d20a260518de1b223b0bb7e2170d64d8df00adb7f92f138ea18232edc84814bb524fada7432d06c2a008adfc59dc39a1973edf6c9aa9d17bc6208a6b +EBUILD jingoo-1.5.0.ebuild 631 BLAKE2B a518445b090b8ec89a7a1db3364c35de449f36f230f3c7ede8b84facb1c5dc3204ddd0073eb6cbb633e3b4e8326e38169acbca3d6e788c2a8b69d31e9a7aa943 SHA512 76fae16a86417a4ba37f9f55d65829f5031568bace7a65cb8f368832e296c4dba19d60e9374df538ed4c211603fe9cba612b8215d8bee26bab68954b3b97fe03 MISC metadata.xml 318 BLAKE2B a882d48f971b725d9604a9205258cdf6747d2ebcfb868f9782267fa54ca4aca64482032bca93c54708bf9908e700b0c38a96b6f075f834ba2381744920075fd7 SHA512 15f06496cd273fac20f93fd79dec7bfc08ede35639e162e4de9e2e9c90cb187218f0232e4bd011d1b4dd8ebd9ee7c2ec32ea4091cac2adee2f772a3db5e88652 diff --git a/dev-ml/jingoo/jingoo-1.5.0.ebuild b/dev-ml/jingoo/jingoo-1.5.0.ebuild new file mode 100644 index 000000000000..b9268dcbd0d8 --- /dev/null +++ b/dev-ml/jingoo/jingoo-1.5.0.ebuild @@ -0,0 +1,27 @@ +# Copyright 2021-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="OCaml template engine almost compatible with Jinja2" +HOMEPAGE="https://github.com/tategakibunko/jingoo/" +SRC_URI="https://github.com/tategakibunko/${PN}/archive/refs/tags/${PV}.tar.gz + -> ${P}.tar.gz" + +LICENSE="ISC" +SLOT="0" +KEYWORDS="~amd64 ~x86" +IUSE="+ocamlopt test" +RESTRICT="!test? ( test )" + +RDEPEND=" + dev-ml/menhir:=[ocamlopt?] + dev-ml/ppx_deriving:=[ocamlopt?] + dev-ml/re:=[ocamlopt?] + dev-ml/uucp:= + dev-ml/uutf:=[ocamlopt?] +" +DEPEND="${RDEPEND}" +BDEPEND="test? ( dev-ml/ounit2 )" diff --git a/dev-ml/ocamlbuild/Manifest b/dev-ml/ocamlbuild/Manifest index 5752409d7d52..23f7e4ea14f6 100644 --- a/dev-ml/ocamlbuild/Manifest +++ b/dev-ml/ocamlbuild/Manifest @@ -1,5 +1,7 @@ DIST ocamlbuild-0.14.2.tar.gz 199293 BLAKE2B d81613878f93f27c6de41461e6b3cebe0744a5204297725263a608cb129a708aaf6f27b444b97d68f2bde844a760f8e78647641f10eed61e727ef3936562cdea SHA512 f568bf10431a1f701e8bd7554dc662400a0d978411038bbad93d44dceab02874490a8a5886a9b44e017347e7949997f13f5c3752f74e1eb5e273d2beb19a75fd DIST ocamlbuild-0.14.3.tar.gz 199357 BLAKE2B b839d3757f4c2ce466291e00d2e5a87c51f81cc9e21f252ca7381fed9a4e8468e920d34946cb58c9297a1b98afe231b7eabc3960d68ba99f051891880742d7a6 SHA512 def8fa1d5488905fda31f72b7f6f0ebdccefa55a8e984a6ea4a7c1e0856e8ea1f7814410202e0f7f7d5e72aca7e8ae0d6623f7f2bade78b0dd82155de76ec4e5 +DIST ocamlbuild-0.15.0.tar.gz 201971 BLAKE2B 34c35c48d446d9c5297a9eabf6d4f134fbfdf01aad4eff15804ad7ecd9068527a70c2d9820ce3f7dba41aa88dda215e82074ad0c66df048c512afd60884ec7fd SHA512 c8311a9a78491bf759eb27153d6ba4692d27cd935759a145f96a8ba8f3c2e97cef54e7d654ed1c2c07c74f60482a4fef5224e26d0f04450e69cdcb9418c762d3 EBUILD ocamlbuild-0.14.2-r1.ebuild 1381 BLAKE2B a295b397c90f84b55e3914a2bd7a85768cc00f19be3826070b09b746fca4240499a7e4d90fae93e44a8e7d8e6a43e219ff1c2f417c353583115ebe8b8043d629 SHA512 6dd8a6fa3672761c3d4b9d5fc5278d82e21b1824df1e2c3ddd7f2d8db933dedb549de105d0cdee00a6181eed82a8f94cb05f97fcbeb38697427951a2748fd658 EBUILD ocamlbuild-0.14.3.ebuild 1367 BLAKE2B 5c672d183f40379d35c9d10d704809778c3890e46e84b595a22d4a6c22932399e1405b29bbc17309476e1fc16289732c00c04349d737c2411d4a790aae60b5cf SHA512 2dac18ff3dac1bab0b85464d5c403e8087ab954aca1a883beef703f79cec03f13bce0c5528d05fa8d515d0cc9f355f12989ce035f3bf92a59b31c614e5af36dd +EBUILD ocamlbuild-0.15.0.ebuild 1367 BLAKE2B 5c672d183f40379d35c9d10d704809778c3890e46e84b595a22d4a6c22932399e1405b29bbc17309476e1fc16289732c00c04349d737c2411d4a790aae60b5cf SHA512 2dac18ff3dac1bab0b85464d5c403e8087ab954aca1a883beef703f79cec03f13bce0c5528d05fa8d515d0cc9f355f12989ce035f3bf92a59b31c614e5af36dd MISC metadata.xml 314 BLAKE2B 6b6d5017c9d5ad7070b020fbfc85a313a8d89ff664b666504e0a9acc71e934bf5c28487c127846733dadb91fb657c71c70749955f4b713c41813c38336c0a7cf SHA512 6c4a92b198d2a2e52df3c6c223237e513b3eb681d06b2b6a15494c2ca9bf2ec6bfd0fb39cae1ed4e47088f87277fa35f1b959aa797cae4c59ccb764ac75de9e7 diff --git a/dev-ml/ocamlbuild/ocamlbuild-0.15.0.ebuild b/dev-ml/ocamlbuild/ocamlbuild-0.15.0.ebuild new file mode 100644 index 000000000000..43c87eabc97a --- /dev/null +++ b/dev-ml/ocamlbuild/ocamlbuild-0.15.0.ebuild @@ -0,0 +1,51 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +DESCRIPTION="Generic build tool with built-in rules for building OCaml library and programs" +HOMEPAGE="https://github.com/ocaml/ocamlbuild" +SRC_URI="https://github.com/ocaml/ocamlbuild/archive/${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="LGPL-2.1-with-linking-exception" +SLOT="0/${PV}" +KEYWORDS="~amd64 ~arm ~arm64 ~hppa ~ia64 ~mips ~ppc ~ppc64 ~riscv ~x86 ~amd64-linux ~x86-linux" +IUSE="+ocamlopt" +RESTRICT="test" # Tests fail + +RDEPEND=">=dev-lang/ocaml-4.02.3-r1:=[ocamlopt?]" +DEPEND="${RDEPEND} + dev-ml/findlib" + +QA_FLAGS_IGNORED='.*' +src_prepare() { + sed -i \ + -e "/package_exists/s:camlp4.macro:xxxxxx:" \ + -e "/package_exists/s:menhirLib:xxxxxx:" \ + testsuite/external.ml || die + default +} + +src_configure() { + emake -f configure.make Makefile.config \ + PREFIX="${EPREFIX}/usr" \ + BINDIR="${EPREFIX}/usr/bin" \ + LIBDIR="$(ocamlc -where)" \ + OCAML_NATIVE=$(usex ocamlopt true false) \ + OCAML_NATIVE_TOOLS=$(usex ocamlopt true false) \ + NATDYNLINK=$(usex ocamlopt true false) +} + +src_compile() { + emake src/ocamlbuild_config.cmo + default +} + +src_install() { + # OCaml generates textrels on 32-bit arches + if use arm || use ppc || use x86 ; then + export QA_TEXTRELS='.*' + fi + emake CHECK_IF_PREINSTALLED=false DESTDIR="${D}" install + dodoc Changes +} diff --git a/dev-ml/ocplib-simplex/Manifest b/dev-ml/ocplib-simplex/Manifest index 4d0c9af9e07c..d5ab8f352a3f 100644 --- a/dev-ml/ocplib-simplex/Manifest +++ b/dev-ml/ocplib-simplex/Manifest @@ -1,6 +1,8 @@ AUX ocplib-simplex-0.4-flags.patch 1596 BLAKE2B 7bc7a8a70245756937c5c1de5fb3bdb21de5233dd978ca1a8ac781d98c0d4e4bb22384d5e8df0601d42c413522824c9c697d706e64fc9d9ca848294da0ec9e4b SHA512 09f4edb690922d7a460a1a4ba7d72773cd26abc699fe5e9d1c130c2e5321edfd99e913b121f274f026c0d8ca26833b7e08677e0047821ef0e4dceacb7797f3bf DIST ocplib-simplex-0.4.1.tar.gz 31955 BLAKE2B bddcf1f83dfd64fd7da3564cbb3fcb9f8e50ad4106ec03b6881315edd6106bb2f691dbe8f288121c351fa7e861fdddb9a818ce4527ab960a9c7109af49d97761 SHA512 6436a904f4e0ec4efa13592185764b58142296816855562d9c2c6d360b64ab554bbd95314976e0462fbb2ed145f8915fd9c2f63f7bae66063efb4c51f74f3edb DIST ocplib-simplex-0.4.tar.gz 31784 BLAKE2B 89ebb43ba59debc658b1400b24379dcb717f44f484742a4ea2227e1692f2d1d359469add4e3c22bd15b7a5044e4d45877994b40e80f28ec8639989bf28565d9a SHA512 5eb80f0c8ad32291d24423255c0359e139cd85e2262b0cbbfaffcab66d9a7eb66c9bf04bb9d5d5c103574ec7041a72cde5412e6cb03fc9fe4a8fd257dab49a76 +DIST ocplib-simplex-0.5.1.tar.gz 34208 BLAKE2B 713283c7ed3a938e9751ebc0cf9cccee4cda17f34e3e11fcab8835f452180389ef9af1a2d1b0cdaf6e3a9ffe4330eb96eeefe713ea542d16bd3aa8f8bf0b986a SHA512 652535875ce4f21a46381847539dbc7aba80e7d374856034f8526413f6705b84cc9758a8433a67d852e864080b4e82a79834e493a7665541680aefbd1a8da3fc EBUILD ocplib-simplex-0.4.1.ebuild 764 BLAKE2B 7563990acd9dedee71c3c0258a75eba1b0cddfa5dd9a2187fe9604d5cf90f6b70960231c4f9b4ec8998a6e1e841bf56b89e9c92f4fe69be309ce7ec32b3ef3ec SHA512 aeec1df5c7c4f2d87201c6eb99a4edd310d514aac4a36d1ca1b8ab5c132d2ca1ae85a2c680bc64dc0ce6b1b67762656b3861da8c1f1b0da842ab84c23f8343d6 EBUILD ocplib-simplex-0.4.ebuild 833 BLAKE2B 4cd41122c5a768eff618c2281e12c2936c95e3a949675dd2230bf405a4dc84f257ac615143ab9950c720f700ef3bb3945f61879f0c829e5283bd0492f0183d16 SHA512 5baa1e157a3e958140918f8cdcfc7e95044c5a3186ea8cc17a8692c42bc16827c77551b53c2d1bf652497b6c388b7d9f029b06ad4f6046e48fd2250d21810036 +EBUILD ocplib-simplex-0.5.1.ebuild 636 BLAKE2B b1991e65543b34951ed018a86555bc85f48f38ce891e7fbf030f448a0608fea74af9fb0921a99f7b487d43a8d45cff5b4848e875cd188f2b012973622a2e19b1 SHA512 0d1962de6d203a1ea41bd8d7064e587ace5d0117853bcdb4c16585e102b4b0e7f902862641f5d64a97c8097ba2706c6e914d6c6a4297bdd61439ebd495b150f6 MISC metadata.xml 495 BLAKE2B de61722f49ba5facdc38eca4d4f395bfd4b00a26a06c5645d67db86b9afda0b9d9c3c4dfaaed8c124f8a5966e4e2f70569947b5fefb2968540223931554a648f SHA512 c9d5fecdd88e5d22674edc89de8389c2d213ff2b1826f450160711d2b91f90de9f1d81b50395f7074a82212f84121d988d29e626b95ddee5ecaedbbd5f65d9d2 diff --git a/dev-ml/ocplib-simplex/ocplib-simplex-0.5.1.ebuild b/dev-ml/ocplib-simplex/ocplib-simplex-0.5.1.ebuild new file mode 100644 index 000000000000..a9ff96a0a80b --- /dev/null +++ b/dev-ml/ocplib-simplex/ocplib-simplex-0.5.1.ebuild @@ -0,0 +1,24 @@ +# Copyright 1999-2024 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit dune + +DESCRIPTION="A library implementing a simplex algorithm" +HOMEPAGE="https://github.com/OCamlPro-Iguernlala/ocplib-simplex" +SRC_URI="https://github.com/OCamlPro-Iguernlala/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + +LICENSE="LGPL-2.1-with-linking-exception" +SLOT="0" +KEYWORDS="~amd64" +IUSE="ocamlopt test" +RESTRICT="!test? ( test )" + +RDEPEND=" + dev-ml/findlib:=[ocamlopt?] + dev-ml/logs:=[ocamlopt?] +" +BDEPEND="test? ( dev-ml/zarith )" + +DOCS=( CHANGES.md README.md extra/simplex_invariants.txt extra/TODO.txt ) |