package/ada/gprbuild/gprbuild.conf

   1 # --- T2-COPYRIGHT-NOTE-BEGIN ---
   2 # T2 SDE: package/*/gprbuild/gprbuild.conf
   3 # Copyright (C) 2022 The T2 SDE Project
   4 #
   5 # This Copyright note is generated by scripts/Create-CopyPatch,
   6 # more information can be found in the files COPYING and README.
   7 #
   8 # This program is free software; you can redistribute it and/or modify
   9 # it under the terms of the GNU General Public License version 2.
  10 # --- T2-COPYRIGHT-NOTE-END ---
  11
  12 gprconfig_extract() {
  13         tar -xf ../archdir/gprconfig_kb-*.tar.*
  14         mv gprconfig_kb-* gprconfig_kb
  15         # Note: gprbuild bootstrap needs xmlada source, not installed xmlada
  16         if ! which gprbuild >/dev/null; then
  17                 tar -xf ../archdir/xmlada-*.tar.*
  18                 mv xmlada-* xmlada
  19         fi
  20 }
  21
  22 gprbuild_bootstrap() {
  23         if ! which gprbuild >/dev/null; then
  24                 # gprbuild requires itself to build
  25                 CC=$HOSTCC ./bootstrap.sh --with-xmlada=./xmlada --with-kb=./gprconfig_kb --prefix=./bootstrap
  26                 export PATH=$PATH:$PWD/bootstrap/bin
  27         fi
  28 }
  29
  30 hook_add prepatch 2 gprconfig_extract
  31 hook_add preconf 2 gprbuild_bootstrap
  32
  33 # libgpr is needed by gnatcoll
  34 var_append makeinstopt ' ' 'libgpr.install.static'