waf-path.patch

   1 --- waf-1.6.4/waf-light.orig    2011-04-17 12:02:50.000000000 +0200
   2 +++ waf-1.6.4/waf-light 2011-05-01 06:55:29.260143094 +0200
   3 @@ -1,4 +1,4 @@
   4 -#!/usr/bin/env python
   5 +#!/usr/bin/python
   6  # encoding: latin-1
   7  # Thomas Nagy, 2005-2018
   8  #
   9 @@ -34,7 +34,7 @@
  10  REVISION="x"
  11  GIT="x"
  12 -INSTALL="x"
  13 +INSTALL="/usr/share"
  14  C1='x'
  15  C2='x'
  16  C3='x'
  17  cwd = os.getcwd()
  18 @@ -140,9 +140,9 @@ def find_lib():
  19                                 return dir
  20                 err('waf-light requires waflib -> export WAFDIR=/folder')
  21
  22 -       dirname = '%s-%s-%s' % (WAF, VERSION, REVISION)
  23 -       for i in (INSTALL,'/usr','/usr/local','/opt'):
  24 -               w = test(i + '/lib/' + dirname)
  25 +       dirname = WAF
  26 +       for i in (INSTALL,'/usr/lib','/usr/local/lib','/opt'):
  27 +               w = test(i + '/' + dirname)
  28                 if w: return w
  29
  30         #waf-local
  31 --- waf-1.6.4/wscript.orig      2011-04-17 12:02:50.000000000 +0200
  32 +++ waf-1.6.4/wscript   2011-05-01 07:00:51.030153869 +0200
  33 @@ -1,4 +1,4 @@
  34 -#! /usr/bin/env python
  35 +#! /usr/bin/python
  36  # encoding: utf-8
  37  # Thomas Nagy, 2005-2018
  38