diff --git a/config/custom_navajo.json b/config/custom_navajo.json index 794f45a..2d2b113 100644 --- a/config/custom_navajo.json +++ b/config/custom_navajo.json @@ -4,6 +4,18 @@ "name": "5.1.0+trunk", "expiry": "2100-01-01" }, + { + "url": "https://github.com/ocaml/ocaml/archive/4.14.tar.gz", + "name": "4.14+trunk+nnp", + "expiry": "2100-01-01", + "configure": "--disable-naked-pointers" + }, + { + "url": "https://github.com/ocaml/ocaml/archive/4.14.tar.gz", + "name": "4.14+trunk+nnp+flambda", + "expiry": "2100-01-01", + "configure": "--disable-naked-pointers --enable-flambda" + }, { "url": "https://github.com/kayceesrk/ocaml/archive/refs/heads/decouple_major_and_minor2.tar.gz", "name": "5.1.0+trunk+decouple_major_and_minor2", diff --git a/config/custom_turing.json b/config/custom_turing.json index 794f45a..2d2b113 100644 --- a/config/custom_turing.json +++ b/config/custom_turing.json @@ -4,6 +4,18 @@ "name": "5.1.0+trunk", "expiry": "2100-01-01" }, + { + "url": "https://github.com/ocaml/ocaml/archive/4.14.tar.gz", + "name": "4.14+trunk+nnp", + "expiry": "2100-01-01", + "configure": "--disable-naked-pointers" + }, + { + "url": "https://github.com/ocaml/ocaml/archive/4.14.tar.gz", + "name": "4.14+trunk+nnp+flambda", + "expiry": "2100-01-01", + "configure": "--disable-naked-pointers --enable-flambda" + }, { "url": "https://github.com/kayceesrk/ocaml/archive/refs/heads/decouple_major_and_minor2.tar.gz", "name": "5.1.0+trunk+decouple_major_and_minor2",