search

AdaCore / gprbuild

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
Other
65 stars 21 forks source link

doinstall does not install binaries #78

Closed MarioBlunk closed 4 years ago

MarioBlunk commented 4 years ago

The doinstall script does not copy the binaries into /usr/local nor in user specified non-standard locations. It does not even call boostrap.sh. So it does not build anything.

t-14 commented 4 years ago

This is a script that we use internally in binary distributions of gprbuild for our customers, it is not meant to be used by the community. Please refer to README.md for instructions on how to build and deploy gprbuild.