search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

put the extraction and test of chacha / wasm in HACL* under CI #102

Closed msprotz closed 5 years ago

msprotz commented 7 years ago 
jonathan@chartreuse:~/Code/hacl-star/code/salsa-family (master) $ /Users/jonathan/Code/kremlin/krml   -ccopt -march=native -verbose -ldopt -flto -I /Users/jonathan/Code/hacl-star/code/lib/kremlin -I /Users/jonathan/Code/kremlin/kremlib -I /Users/jonathan/Code/hacl-star/specs -I . -drop Prims,Hacl.UInt8,Hacl.UInt16,Hacl.UInt32,Hacl.UInt64,Hacl.UInt128,Hacl.Endianness,Hacl.Cast,Hacl.Spec.*,Spec.*,Seq.* -add-include '"testlib.h"' /Users/jonathan/Code/kremlin/kremlib/testlib.c -tmpdir chacha-c -bundle 'Chacha20=Hacl.Impl.*,Chacha20,Hacl.Lib.*' chacha-c/out.krml -wasm -no-prefix Hacl.Test.Chacha20 -d wasm,wasm-calls

then:

jonathan@chartreuse:~/Code/hacl-star/code/salsa-family/chacha-c (master) $ \cp ~/Code/kremlin/kremlib/js/*.js . && d8 --allow-natives-syntax main.js

This means that the CI machine and/or CI docker containers will need a recent d8.

msprotz commented 7 years ago

with https://github.com/FStarLang/kremlin/commit/1e6b8f05984859797beb35b4de6bbb7e7967b0f7 you no longer need to manually copy the files, kremlin will do it for you; also, it'll generate a README in the output directory

beurdouche commented 6 years ago

@tahina-pro what is the status of WASM on the build machine ?

msprotz commented 6 years ago

I made wasm tests compatible with the latest version of node so now the setup should be simpler, and we should be able to get rid of d8 in favor of the latest version of node

s-zanella commented 5 years ago

We use node now for CI and we run WASM tests as part of KreMLin CI.