build

#!/usr/bin/env python3

import os
import subprocess
import sys

# Bootstrapping
# =============

subprocess.check_call(['git', 'submodule', 'update', '--init', '--recursive'])
extdir = 'ext'
sys.path.append(os.path.join(os.path.dirname(__file__), extdir))

from buildtools import KHPProject, KHPDefinition

# Build
# =====

proj = KHPProject(extdir = extdir)

def build_khp(backend, alias, tangle_selector = '', flags = ''):
    return proj.definition( alias         = alias
                          , backend       = backend
                          , main          = 'khp.md'
                          , other         = ['khp-real.md', 'wolframlanguage.md']
                          , flags         = '--syntax-module KHP-SYNTAX ' + flags
                          , runner_script = './khp'
                          , tangle_selector = '.k,' + tangle_selector
                          )

khp_defn = build_khp(backend = 'llvm'
                    , alias  = 'execution'
                    , flags  = '-ccopt -g -O3'
                    )

# Testing
# =======

khp_defn.synthesis( glob = 't/constraint-synthesis/*.khp'
                  , alias = 'synthesis-tests'
                  )


khp_defn.tests( glob  = 't/execution/*.khp'
              , alias = 'execution-tests'
              , flags = '-cMODE=\"#regular\"'
              )

# Main
# ====

proj.main()