Searched refs:VERSION (Results 1 - 7 of 7) sorted by relevance

/seL4-refos-master/libs/libmuslc/src/internal/
H A Dversion.c3 static const char version[] = VERSION;
/seL4-refos-master/libs/libmuslc/tools/
H A Dversion.sh8 sed 's/$/-git/' < VERSION
11 cat VERSION
/seL4-refos-master/projects/refos/impl/
H A DMakefile13 VERSION = 2 macro
/seL4-refos-master/
H A DMakefile13 VERSION = 2 macro
/seL4-refos-master/kernel/manual/
H A Dmanual.tex83 \newcommand{\version}{\input{VERSION}}
H A DMakefile186 manual.pdf: VERSION env.tex manual.tex parts/*.tex parts/api/*.tex
/seL4-refos-master/libs/libmuslc/
H A DMakefile.muslc103 obj/src/internal/version.h: $(wildcard $(srcdir)/VERSION $(srcdir)/.git)
104 printf '#define VERSION "%s"\n' "$$(cd $(srcdir); sh tools/version.sh)" > $@

Completed in 47 milliseconds