README and Source code are inconsistent
Closed this issue · 2 comments
Annlean commented
Hi,
I followed the README to build model, the USAGE said "To use the version with GMP, copy the Makefile_gmp to Makefile. Otherwise, copy Makefile_nogmp to Makefile and proceed normally."
but Makefile is not in source code and I'm sure I have the GMP library (libgmp-dev).
what should I do to build Dsharp?
VincentDerk commented
It means you should rename either one of the Makefiles into Makefile
such that when you run the make
command, it will use that file.
haz commented
@VincentDerk is spot on. Let us know if doing that doesn't work for you.