diff options
Diffstat (limited to 'lib/freebl/verified/karamel/krmllib/dist/minimal/Makefile.include')
-rw-r--r-- | lib/freebl/verified/karamel/krmllib/dist/minimal/Makefile.include | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/freebl/verified/karamel/krmllib/dist/minimal/Makefile.include b/lib/freebl/verified/karamel/krmllib/dist/minimal/Makefile.include new file mode 100644 index 000000000..ad5321718 --- /dev/null +++ b/lib/freebl/verified/karamel/krmllib/dist/minimal/Makefile.include @@ -0,0 +1,5 @@ +USER_TARGET=libkrmllib.a +USER_CFLAGS= +USER_C_FILES=fstar_uint128.c +ALL_C_FILES= +ALL_H_FILES=FStar_UInt128.h FStar_UInt_8_16_32_64.h LowStar_Endianness.h |