Closed simonjwright closed 5 years ago
Makefile says
BUILD_MODE = dev LIBRARY_TYPE = static PROCESSORS = 0
which I think would be improved by
BUILD_MODE ?= dev LIBRARY_TYPE ?= static PROCESSORS ?= 0
which would allow us to set, for example, LIBRARY_TYPE via an environment variable.
LIBRARY_TYPE
I tripped over this because of https://github.com/AdaCore/libadalang/issues/174 (the static library isn’t built).
Hello Simon,
Good suggestion, this is now implemented. Thank you!
Makefile says
which I think would be improved by
which would allow us to set, for example,
LIBRARY_TYPE
via an environment variable.I tripped over this because of https://github.com/AdaCore/libadalang/issues/174 (the static library isn’t built).