Issam Maghni

Native compiler wrong multiarch

6

Hi. I’ve built a cross compiler, `x86_64-linux-musl` as target, then a native compiler using the cross one. When running `gcc -print-multiarch` on the native, I get `i386-linux-gnu`. # Step to...

Native compiler does not search for musl include path

5

Hi. When building a native compiler using a cross one, I’ve found it does not search for `/include`, where musl installs its headers. ### Step to reproduce Create a `config.mak`...

Major/Minor/Patch should not be an int

7

Hi. Major, minor and patch are [“non-negative integers”](//semver.org/#spec-item-2). So no need to use a signed integer. Also, `int` in C is at least 16-bits, so the maximum version that we...

Building HACL* w/o Vale

3

Hi there, have you considered making Vale optional in the build process? Because otherwise, this project is not bootstrapable. In fact, I compiled OCaml, F*, Kremlin, mono. But lastly, F#...

Use POSIX-friendly syntax

3

Hi, with this patch, I was able to compile Kremlin on a POSIX-friendly environment, which means: 1. replace `which` by the POSIX `command -v` 2. replace `bash` by POSIX `sh`...

Use libcurl instead of curl

1

This is a proposition to replace calling `curl` by using libcurl directly. Hermes already uses libsignify instead of `signify`, internal sha256 implementation instead of `sha256sum` and libarchive instead of `tar`....

Hi there! I'm quite new to Janet and JPM I must admit. While executing `jpm build` (with a rather old GCC), I got: ``` [admin@localhost hermes]$ jpm build compiling src/hermes.c...

libmbedtls 3 not supported

1

Hi, I know this package is not supported, but I just want to say that it does not compile with libmbedtls v3,

Typo __Fushsia__

2

`__Fushsia__` should be `__Fuchsia__`.