diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-04-03 11:32:16 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-04-03 11:32:16 +0200 |
| commit | e2a2aff6602c66afc639cb459a159c2d765d734f (patch) | |
| tree | 7922dae0b2e315e27c1c750f43e70ff88e347d59 /Makefile.doc | |
| parent | f29f8f80c8ad94576c7a36f3f638866c208338a0 (diff) | |
[meta] Add `num` to the set of base libraries.
In the META file, the set of base libraries is determined by the
dependencies of the `coq.clib` package.
We add `num` to the dependencies as otherwise dynamically loading
`micromega` and `nsatz` will fail as they require the toplevel to have
`num` linked in.
Diffstat (limited to 'Makefile.doc')
0 files changed, 0 insertions, 0 deletions