{"action":"closed","issue":{"url":"https://api.github.com/repos/Normaliz/Normaliz/issues/198","repository_url":"https://api.github.com/repos/Normaliz/Normaliz","labels_url":"https://api.github.com/repos/Normaliz/Normaliz/issues/198/labels{/name}","comments_url":"https://api.github.com/repos/Normaliz/Normaliz/issues/198/comments","events_url":"https://api.github.com/repos/Normaliz/Normaliz/issues/198/events","html_url":"https://github.com/Normaliz/Normaliz/issues/198","id":330168907,"node_id":"MDU6SXNzdWUzMzAxNjg5MDc=","number":198,"title":"Compiling normaliz 3.6.0 with flint2 installed leads to error","user":{"login":"fingolfin","id":241512,"node_id":"MDQ6VXNlcjI0MTUxMg==","avatar_url":"https://avatars2.githubusercontent.com/u/241512?v=4","gravatar_id":"","url":"https://api.github.com/users/fingolfin","html_url":"https://github.com/fingolfin","followers_url":"https://api.github.com/users/fingolfin/followers","following_url":"https://api.github.com/users/fingolfin/following{/other_user}","gists_url":"https://api.github.com/users/fingolfin/gists{/gist_id}","starred_url":"https://api.github.com/users/fingolfin/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/fingolfin/subscriptions","organizations_url":"https://api.github.com/users/fingolfin/orgs","repos_url":"https://api.github.com/users/fingolfin/repos","events_url":"https://api.github.com/users/fingolfin/events{/privacy}","received_events_url":"https://api.github.com/users/fingolfin/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2018-06-07T08:30:37Z","updated_at":"2018-06-07T17:38:02Z","closed_at":"2018-06-07T17:38:02Z","author_association":"CONTRIBUTOR","body":"On a machine with flint 2.4.5 installed, compiling normaliz 3.6.0 runs into a compile error:\r\n```\r\n$ ./configur && make\r\n...\r\nIn file included from libnormaliz/enumeration.cpp:28:\r\n./libnormaliz/HilbertSeries.cpp:226:9: error: use of undeclared identifier 'fmpz_poly_cyclotomic'\r\n        fmpz_poly_cyclotomic(cyc, (ulong) n);\r\n        ^\r\n1 error generated.\r\n```\r\n\r\nI am told this is because my version of flint is too old. That's fine -- but I think that the configure script's check for flint then should either check the version of flint, and/or check for the availability of that symbol, at least when it is auto-detecting flint (i.e. the user did not give an explicit `--with-flint`); and it then should *not* use flint if the found flint version is not suitable.\r\n\r\nAlso, while I am at it: I think it'd be helpful if the configure script printed something like \"checking for flint ... yes / no\", which IMHO is a best practice for configure scripts."}}
{"actor":{"display_login":"w-bruns"}}