homalg-project / CddInterface

Gap Interface to Cdd

https://homalg-project.github.io/CddInterface

Other

1 stars 5 forks source link

Fix building on macOS and cygwin #31

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

Both need -lgmp added explicitly. Also, on cygwin, the headers are in /usr/include/cddlib, so let's search there, too (this matches what is done when --with_cddlib is given, too)

Also resolves #25

codecov[bot] commented 2 years ago

Codecov Report

Merging #31 (da43941) into master (b9b978f) will not change coverage. The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #31   +/-   ##
=======================================
  Coverage   89.59%   89.59%           
=======================================
  Files           5        5           
  Lines         913      913           
  Branches       23       23           
=======================================
  Hits          818      818           
  Misses         91       91           
  Partials        4        4

kamalsaleh commented 2 years ago

Thank you very much!