coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] organizing project files

From: Erkki Luuk <erkkil AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] organizing project files
Date: Mon, 13 Jul 2020 04:38:53 +0300
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=erkkil AT gmail.com; spf=Pass smtp.mailfrom=erkkil AT gmail.com; spf=None smtp.helo=postmaster AT mail-yb1-f182.google.com
Ironport-phdr: 9a23:Qy53NxWAwv/guIeZ5CZgE5iolTDV8LGtZVwlr6E/grcLSJyIuqrYbBSFt8tkgFKBZ4jH8fUM07OQ7/m+HzZfqsrQ+DBaKdoQDkJD0Z1X1yUbQ+e9QXXhK/DrayFoVO9jb3RCu0+BDE5OBczlbEfTqHDhpRQbGxH4KBYnbr+tQt2agMu4zf299IPOaAtUmjW9falyLBKrpgnNq8Uam4RvJrswxxfTvHdFeetayGxsKFmOmxrw+tq88IRs/ihNu/8t7dJMXbn/c68lUbFWETMqPnwv6sb2rxfDVwyP5nUdUmUSjBVFBhXO4Q/5UJnsrCb0r/Jx1yaGM8L4S7A0Qimi4LxwSBD0kicHNiU2/3/Rh8dtka9UuhOhpxh4w47JfIGYMed1c63Bcd8GQ2dKQ8BcXDFDDIyhdYsCF+UOM+ZWoYf+ulUAswexCBK2C+/z0DJFnGP60bE43uknDArI3BYgH9ULsHnMo9v1LqQSUeO0zKLVyzvDcu5W2TTg44XPbB8hu/KMXbFxccrV0kQvGAbFgU+RqYzhJT+ayuMNs22C4udmSOmghHIppRtrrTiz2scjlJPJhoQNx1zZ6Sh3z4Q4KMC8RUN7b9OpHoZcuS6GOoZ1Tc0vQX9ltDg4x7AYt5O1fDUGxpQnyhPdZPKKbZaE7wzsWeuMITl1gm9udrGnhxuq70Ss1unxWtO33VtKtCZJjMTAu3QX2xDO6cWLVP1w9Vq71zmVzQDc8ORELFg0laXFL54hxaY9lp8JvkTCGi/6gUX3g7SLekk99Oik9ufqbqv8qp+TMI90jQ7+MqAwlcClHes4NQ0OU3Ca+eS6yrLj4VX0TKtWgvAyiKXUs5DXKd4FqqKkBwJZyJsv5hWhAzu+1dQXh3gHLFZLeBKdiIjpPknDL+7iDfe8gFSskTNryuvJPr3kGJrNL3zDnK39crZ67k5Q0BAzwsxH55JIFrEBJ+r+VVP2tNzBFxM2Lwi0w/v8B9hmzYMfWWePAreDP6/IsF+I4PgvI+iWa4MPtjb9Matt2/m7hngg3FQZYKOB3J0NaXn+EO41DV+eZC/BmNQCEC8uoxc9BLjnkl6BUDp7aHO7XqZ67TY+XtH1RbzfT5yg1eTSlBywGYdbMzgfVgK8VEzwfoDBYM8iLTqIK5Y4wDMBXLmlDYQm0EP27VKo+/9cNuPRvxYgm9fj2dxyvbOBkBgz8XllBZ3Y3TjdFSd7mWQHQzJw16d68xQkmwWzlJNgivkdLuR9ovZAUwM0L5nZlrUoBNX7WwaHddCMGg+r

Is there a way to instruct Coq to put .vo, .aux and .glob files into a different folder from that of the .v files they were compiled from? I'd like to do this for my project to appear neater (than it actually is :)... In fact, just to separate source files from the compiler clutter

Thanks

erkki

[Coq-Club] organizing project files, Erkki Luuk, 07/13/2020
- Re: [Coq-Club] organizing project files, Chris Dams, 07/13/2020
  - Re: [Coq-Club] organizing project files, Ralf Jung, 07/13/2020
    - Re: [Coq-Club] organizing project files, Théo Zimmermann, 07/13/2020
      - Re: [Coq-Club] organizing project files, Erkki Luuk, 07/13/2020