Search found 5 matches

Go to advanced search

by laisrast
05 Mar 2019, 22:43
Forum: Installing polymake
Topic: ppl location problem in Debian
Replies: 4
Views: 113

Re: ppl location problem in Debian

It looks like you replied to my reply by editing my reply instead of writing a new separated reply. Did it return wrong locations then? Yes, ''ppl-config" returned a wrong location for "includedir": $ ppl-config --includedir /usr/include Even though the files are really in "/usr/include/x86_64-linux...
by laisrast
05 Mar 2019, 15:00
Forum: Installing polymake
Topic: ppl location problem in Debian
Replies: 4
Views: 113

Re: ppl location problem in Debian

"ppl-config" is already in the PATH. Did it return wrong locations then? As you can see, the configuration script tries to use its output when no other options are specified, and this what you must have tried first, haven't you? If it indeed tells wrong locations, I'd recommend to file a ticket for...
by laisrast
04 Mar 2019, 23:38
Forum: Installing polymake
Topic: ppl location problem in Debian
Replies: 4
Views: 113

ppl location problem in Debian

Hello I am trying to compile Polymake 3.3 under Debian GNU/Linux 9.8 (stretch) x86_64 with ppl. $./configure checking C++ compiler ... ok (g++ is GCC 6.3.0) checking C++ library ... ok (GNU libstdc++ 20170516, C++ 201402) determining architecture ... ok (x86_64) determining compiler flags ... ok CFL...
by laisrast
09 Sep 2018, 16:59
Forum: Installing polymake
Topic: Problem in compiling Polymake in Arch Linux
Replies: 2
Views: 8074

Re: Problem in compiling Polymake in Arch Linux

Thanks for the reply and the solution.
I applied the patch and everything went well.
by laisrast
08 Sep 2018, 14:25
Forum: Installing polymake
Topic: Problem in compiling Polymake in Arch Linux
Replies: 2
Views: 8074

Problem in compiling Polymake in Arch Linux

When I try to compile Polymake 3.2r3 in my Arch Linux I get the following error

https://justpaste.it/6g9c6

(I could not attach the log file here because "File too large: build.log")

Go to advanced search

cron