langkit-query-language/.gitlab-ci.plan at master · AdaCore/langkit-query-language · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
def install():
    # gprname depends on lal, and gprbuild embeds it, so to prevent to rebuild
    # the world entirely with a lal change, we install them here.
    # note: libgpr2 changes are to be tested if any, since this impacts
    # directly gnatcheck
    anod_install("gprname")
    anod_install("gprbuild")

def lkql_jit():
    install()
    anod_test("lkql", qualifier="implementation=jit")
    # Abstain from testing GNATcheck in the JVM-based mode to help save the
    # planet: the nightly runs suffice to show that the implementation works.

def lkql_native_jit():
    install()
    anod_test("lkql", qualifier="implementation=native_jit")
    anod_test("gnatcheck", qualifier="implementation=native_jit")
    anod_test("gnatcheck", qualifier="implementation=native_jit,private")

def gnatcheck_internal_testsuite():
    install()
    anod_test("gnatcheck", qualifier="implementation=native_jit,private,internal")