search

flintlib / calcium

Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
http://fredrikj.net/calcium/
GNU Lesser General Public License v2.1
79 stars 11 forks source link

[configure] add --with-pkg-config #46

Open bobot opened 1 year ago

bobot commented 1 year ago

Same as https://github.com/flintlib/flint2/pull/1215