Closed fingolfin closed 7 years ago
This also should allow us to get rid of cmake, since normaliz now doesn't need cmake anymore
This also should allow us to get rid of cmake, since normaliz now doesn't need cmake anymore