Add --with-assign option to configure. When specified, overrides LEDA,
and causes the assign Makefile to copy in the binary instead of trying to build it. You can specify --with-assign=/path/to/assign, but if left out defaults to "assign.bin" in the assign directory so that we can stick the binary into the distribution easily.
Showing with 85 additions and 17 deletions