Open davidcock opened 9 years ago
Makes it possible to automate a build without using a github account.
I've updated this pull request to match that for libcudd. This enables a standalone termite executable build. The source for libcudd in .gitmodules would have to be modified if that patch is pulled upstream too.
Makes it possible to automate a build without using a github account.