History log of /seL4-camkes-master/tools/cogent/cogent/examples/hello-world/Makefile
Revision Date Author Comments
# 2684d923 03-Jul-2020 Zilin Chen <Zilin.Chen@data61.csiro.au>

compiler: bulk rename stdgum to libgum in all places


# 96c19328 10-May-2018 Zilin Chen <Zilin.Chen@data61.csiro.au>

tests: fix CFLAGS in Makefile

[skip lemma]


# 2b9e8dff 06-Feb-2018 Zilin Chen <Zilin.Chen@data61.csiro.au>

compiler: remove debug flag from Makefiles

[skip ci]


# eadd3952 12-Jul-2017 Partha Susarla <mail@spartha.org>

[examples] A hello world example in Cogent.