12 Commits

Author SHA1 Message Date
Guillaume Melquiond
1615157c71 Keep the bin/ directory alive. 2020-10-21 16:04:06 +02:00
Guillaume Melquiond
3698ec54d0 Create directories bin and lib/plugins on the fly (bug #21566).
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.
2017-12-24 11:22:22 +01:00
Guillaume Melquiond
e4a44aed75 Store why3-cpulimit and why3-call-pvs in libdir.
As a side effect, provers-detection-data.conf no longer needs to be preprocessed.
2013-09-23 16:47:09 +02:00
Jean-Christophe Filliatre
552d16061b fixed installation and distribution of PVS support 2013-04-25 11:41:11 +02:00
Jean-Christophe
7d199db876 more PVS realizations 2012-07-19 22:23:08 +02:00
Jean-Christophe
a8057f6fc0 PVS realizations 2012-07-14 02:20:18 +02:00
Jean-Christophe Filliatre
74cded5fb0 programs: refactoring of typing (in progress) 2011-05-13 16:15:15 +02:00
Jean-Christophe Filliatre
9cdce97ef6 script for ocamldebug 2011-05-12 09:03:46 +02:00
Andrei Paskevich
829ad57992 merge .gitignore's + move apidoc/ to doc/apidoc/ 2011-02-16 16:03:55 +01:00
Jean-Christophe Filliatre
22d9a52570 programs: very first tests with modules 2010-12-10 10:57:51 +01:00
Jean-Christophe Filliatre
9f04afb383 ignore 2010-12-10 10:57:51 +01:00
Andrei Paskevich
63dc44424d create an empty .keepme file in bin/ to store it with git 2010-11-05 23:48:22 +00:00