• Guillaume Melquiond's avatar
    Create directories bin and lib/plugins on the fly (bug #21566). · 3698ec54
    Guillaume Melquiond authored
    Some people dump the content of tarballs into git repositories and thus
    experience compilation failures. Indeed, some directories from the tarball
    are empty and thus not preserved by git. So this commit creates these
    directories on the fly.
    
    As for plugins/printer, it has to be handled differently, since it is
    needed by ocamldep and thus cannot be created on the fly. So its .keepme
    file is put in the tarball to keep it nonempty.
    3698ec54
Name
Last commit
Last update
bench Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
modules Loading commit data...
opam Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.mailmap Loading commit data...
.merlin.in Loading commit data...
AUTHORS Loading commit data...
CHANGES.md Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL.md Loading commit data...
LICENSE Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README.md Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
check.sh Loading commit data...
configure.in Loading commit data...