Search results

use <code>-stop-after typing</code> for cmt generation

enhancementNew feature or requestNew feature or request

Status: Open.

#65 In obazl/rules_ocaml;

· mobileink opened on Mar 31, 2025

naming problem: vm_linkage, vm_runtime

bugSomething isn't workingSomething isn't working

Status: Open.

#64 In obazl/rules_ocaml;

· mobileink opened on Mar 16, 2025

revise profile machinery

refactoring

Status: Open.

#63 In obazl/rules_ocaml;

· mobileink opened on Mar 9, 2025

improve opts handling

bugSomething isn't workingSomething isn't working

enhancementNew feature or requestNew feature or request

Status: Open.

#62 In obazl/rules_ocaml;

· mobileink opened on Mar 9, 2025

revise CcInfo handling

enhancementNew feature or requestNew feature or request

Status: Open.

#61 In obazl/rules_ocaml;

· mobileink opened on Mar 8, 2025

toolchain enhancement: arch/os specialization

enhancementNew feature or requestNew feature or request

Status: Open.

#60 In obazl/rules_ocaml;

· mobileink opened on Mar 7, 2025

pkg-config support

enhancementNew feature or requestNew feature or request

Status: Open.

#59 In obazl/rules_ocaml;

· mobileink opened on Mar 7, 2025

Integrate impl_archive.bzl and impl_library.bzl

refactoring

Status: Open.

#58 In obazl/rules_ocaml;

· mobileink opened on Mar 6, 2025

full support for composable libraries/archives

enhancementNew feature or requestNew feature or request

Status: Open.

#57 In obazl/rules_ocaml;

· mobileink opened on Mar 6, 2025

Code cleanup and refactoring

documentationImprovements or additions to documentationImprovements or additions to documentation

refactoring

Status: Open.

#56 In obazl/rules_ocaml;

· mobileink opened on Feb 17, 2025

support dev args like -dlambda

enhancementNew feature or requestNew feature or request

Status: Open.

#55 In obazl/rules_ocaml;

· mobileink opened on Feb 10, 2025

migrate toolchain stuff to @toolchains_ocaml

enhancementNew feature or requestNew feature or request

Status: Open.

#54 In obazl/rules_ocaml;

· mobileink opened on Feb 7, 2025