# Janet Native Binding for BOB Quantum Engine
# This module provides native bindings to the C ABI interface

if(NOT TARGET bob_quantum)
  message(FATAL_ERROR "bob_quantum target must be defined before janet subdirectory")
endif()

# Janet native bindings - no compilation needed, just validation
add_custom_target(janet_bindings ALL
  DEPENDS bob_quantum
  COMMENT "Janet native bindings verified"
)

# Install Janet modules
install(FILES
  bob_quantum.janet
  bh_arrays.janet
  DESTINATION share/bob_quantum/janet
)

# Add to binding documentation
file(APPEND "${CMAKE_CURRENT_BINARY_DIR}/../BINDINGS_SUMMARY.txt"
  "Janet: bob_quantum.janet (native bindings to C ABI)\n"
  "Janet: bh_arrays.janet (array model with formal contracts + Coq emission)\n"
  "Installed to: share/bob_quantum/janet\n"
)