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

Files @ ef64fd0cdb07

Branch filter:

Location: CSY/reowolf/examples/make.py

ef64fd0cdb07 641 B text/x-python Show Annotation Show as Raw Download as Raw

Christopher Esterhuyse

correctly merging protocol component branches: forks that create existing predicates MERGE the results, combining their inboxes s.t. there is no race condition on the order of received messages

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
    "-std=c11",     # C11 mode
    "-Wl,-R./",     # pass -R flag to linker: produce relocatable object
    c_file,         # input source file
    "-o",           # output flag
    c_file[:-2],    # output filename
    "-L",           # lib path flag
    "./",           # where to look for libs
    "-lreowolf_rs"  # add lib called "reowolf_rs"
  ];
  subprocess.run(args)
input("Blocking until newline...");