search

flintlib / arb

Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
http://arblib.org/
GNU Lesser General Public License v2.1
456 stars 137 forks source link

CMakeLists.txt: support standard GNU installation directories #363

Closed orlitzky closed 3 years ago

orlitzky commented 3 years ago

Same thing as https://github.com/wbhart/flint2/pull/875 but for arb.