Closed sagotch closed 9 years ago
Yeah, the workflow is:
./configure && make
./configure --enable-tests && make test
You need to configure only once. You can ./configure --enable-tests
and make normal build, it's only a little bit longer (and will use bisect when it's not strictly necessary).
Oups, sorry about that. :+1:
I'm just happy it's working. :)
Nevertheless, ditributing the project without the configure
file add a dependency (oasis
). Not a big deal but the configuration script should be the same for everyone(I guess) so we should include it in versionned files.
yes, it's an error, should have included that. I'll push it now
setup.ml is missing
I will generate gh-pages and fix opam file as soon as Makefile will be fixed.