pijul nest
guest [sign in]

Fork channel

Create a new channel as a copy of main.

Rename channel

Rename main to:

Delete channel

Delete main? This cannot be undone.

platform.ml
type arch = Amd64 | Aarch64
type endianness = Little | Big
type platform = { arch : arch; env : string }

let default = { arch = Amd64; env = "gnu" }
let endianness p = match p.arch with Amd64 | Aarch64 -> Little
let env p = p.env
let string_of_endianness = function Little -> "little" | Big -> "big"
let string_of_arch = function Amd64 -> "x86_64" | Aarch64 -> "aarch64"
let pointer_width _ = 64

let triple p =
  match p.arch with
  | Amd64 -> "x86_64-unknown-linux-gnu"
  | Aarch64 -> "aarch64-unknown-linux-gnu"

let host = ref default
let target = ref default