Makefile.include\minimal\dist\krmllib\karamel\verified\freebl\lib - delta/nss-hg.git - hg.mozilla.org: projects/nss

index : delta/nss-hg.git

hg.mozilla.org: projects/nss

summary refs log tree commit diff

path: root/lib/freebl/verified/karamel/krmllib/dist/minimal/Makefile.include

blob: ad532171849c72e9c6c21dae5b8c1e48276c4692 (plain)

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