gprbuild
List of commands for gprbuild:
-
gprbuild:tldr:682b7 gprbuild: Build a project (assuming only one `*.gpr` file exists in the current directory).$ gprbuildtry on your machineexplain this command
-
gprbuild:tldr:68af0 gprbuild: Build a specific [P]roject file.$ gprbuild -P${project_name}try on your machineexplain this command
-
gprbuild:tldr:d02a5 gprbuild: Install compiled binaries.$ gprinstall --prefix ${path-to-installation-dir}try on your machineexplain this command
-
gprbuild:tldr:f9a10 gprbuild: Clean up the build workspace.$ gprcleantry on your machineexplain this command