Open samoht opened 2 years ago
Right now, dune build or make will fail after a fresh clone. As ./configure command is quite involved, it'd be nice to have a quick way to setup an environment where we could start testing.
dune build
make
./configure
Right now,
dune build
ormake
will fail after a fresh clone. As./configure
command is quite involved, it'd be nice to have a quick way to setup an environment where we could start testing.