CSY/reowolf Files · examples/make.py · Centrum Wiskunde & Informatica (CWI)

Files @ a3c92705eeee

Branch filter:

Location: CSY/reowolf/examples/make.py

a3c92705eeee 610 B text/x-python Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

bugfix: native component branch forks that clash are MERGED rather than overwritten. Avoids race condition where (1) branch x ends and submits a solution, (2) branch y is created, has same predicate as x and overwrites it, but has a subset of its messages, (3) round ends in success but branch x is gone, so no suitable native branch is found

import os, glob, subprocess, time
script_path = os.path.dirname(os.path.realpath(__file__));
for c_file in glob.glob(script_path + "/*/*.c", recursive=False):
  print("compiling", c_file)
  args = [
    "gcc",          # compiler
    "-L",           # lib path flag
    "./",           # where to look for libs
    "-lreowolf_rs", # add lib called "reowolf_rs"
    "-Wl,-R./",     # pass -R flag to linker: produce relocatable object
    c_file,         # input source file
    "-o",           # output flag
    c_file[:-2]     # output filename
  ];
  subprocess.run(args)
input("Blocking until newline...");