Skip to main content

Browse the archive

https://bitbucket.org/daniel_fort/magic-lantern
09 September 2021, 22:35:53 UTC
Revision bc46669fd403a18fd05f21949e9fcb5d1cf489ee authored by alex@thinkpad on 03 December 2017, 20:18:40 UTC, committed by alex@thinkpad on 03 December 2017, 20:18:40 UTC 
Makefile: FIR building updates
 
- always install ML-SETUP.FIR (zip, install, install_qemu)
- build_fir for regular ML (not installer) now gives AUTOEXEC.FIR
- to recompile ML-SETUP.FIR: "make ML-SETUP.FIR -B" from platform directory
- "make zip" will also compile the installer from source, without replacing the precompiled ML-SETUP.FIR
  (just to make sure the source code changes do not interfere with building the installer)
1 parent 5e69462
Raw File
Tip revision: bc46669fd403a18fd05f21949e9fcb5d1cf489ee authored by alex@thinkpad on 03 December 2017, 20:18:40 UTC
Makefile: FIR building updates
Tip revision: bc46669
mkdoc_utils.py 
#!/usr/bin/python
# -*- coding: utf-8 -*-

import sys
import os

def system_or_exit(cmdline):
    ret = os.system(cmdline)
    if ret != 0:
        sys.exit(1)

def include(o, filename, start=0):
    f = open(filename).readlines();
    for l in f[start:]:
        o.write(l)
    o.write("\n");

def sed_sub_tex_spec_chars(filename):
    system_or_exit(r"sed -i -e 's/⬜/$\\square$/g' %s" % (filename,))
    system_or_exit(r"sed -i -e 's/⨂/$\\otimes$/g' %s" % (filename,))
    system_or_exit(r"sed -i -e 's/⨀/$\\odot$/g' %s" % (filename,))
    system_or_exit(r"sed -i -e 's/〰/$\\wave$/g' %s" % (filename,))
    system_or_exit(r"sed -i -e 's/↷/$\\curvearrowright$/g' %s" % (filename,))
    system_or_exit(r"sed -i -e 's/↶/$\\curvearrowleft$/g' %s" % (filename,))
    system_or_exit(r"sed -i -e 's/⤿/$\\rcurvearrowup$/g' %s" % (filename,))
    system_or_exit(r"sed -i -e 's/⤸/$\\lcurvearrowdown$/g' %s" % (filename,))

    system_or_exit(r"sed -i -e 's/<->/$\\leftrightarrow$/g' %s" % (filename,))
    system_or_exit(r"sed -i -e 's/->/$\\rightarrow$/g' %s" % (filename,))
    system_or_exit(r"sed -i -e 's/=>/$\\Rightarrow$/g' %s" % (filename,))
    system_or_exit(r"sed -i -e 's/>=/$\\ge$/g' %s" % (filename,))
    system_or_exit(r"sed -i -e 's/<=/$\\le$/g' %s" % (filename,))
    system_or_exit(r"sed -i -e 's/kOhm/$\\textrm k\\Omega$/g' %s" % (filename,))
back to top