| #!/usr/bin/env python3 | |
| "This tool is intended to be used from meson" | |
| import os, os.path, sys, subprocess, shutil | |
| ragel = sys.argv[1] | |
| if not ragel: | |
| sys.exit ('You have to install ragel if you are going to develop HarfBuzz itself') | |
| if len (sys.argv) < 4: | |
| sys.exit (__doc__) | |
| OUTPUT = sys.argv[2] | |
| CURRENT_SOURCE_DIR = sys.argv[3] | |
| INPUT = sys.argv[4] | |
| outdir = os.path.dirname (OUTPUT) | |
| shutil.copy (INPUT, outdir) | |
| rl = os.path.basename (INPUT) | |
| hh = rl.replace ('.rl', '.hh') | |
| subprocess.Popen (ragel.split() + ['-e', '-F1', '-o', hh, rl], cwd=outdir).wait () | |
| # copy it also to src/ | |
| shutil.copyfile (os.path.join (outdir, hh), os.path.join (CURRENT_SOURCE_DIR, hh)) |