dune/bin/dune

21 lines
444 B
Plaintext

(library
(name main)
(modules main)
(libraries unix dune cmdliner))
(executable
(name main_dune)
(public_name dune)
(package dune)
(modules main_dune)
(libraries which_program_dune main)
(preprocess no_preprocessing))
(executable
(name main_jbuilder)
(public_name jbuilder)
(package dune)
(modules main_jbuilder)
(libraries which_program_jbuilder main)
(preprocess no_preprocessing))