Mercurial > hgrepos > Python2 > PyMuPDF
view mupdf-source/thirdparty/harfbuzz/src/gen-ragel-artifacts.py @ 2:b50eed0cc0ef upstream
ADD: MuPDF v1.26.7: the MuPDF source as downloaded by a default build of PyMuPDF 1.26.4.
The directory name has changed: no version number in the expanded directory now.
| author | Franz Glasner <fzglas.hg@dom66.de> |
|---|---|
| date | Mon, 15 Sep 2025 11:43:07 +0200 |
| parents | |
| children |
line wrap: on
line source
#!/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))
