(executable
 (name        main_dune)
 (public_name dune)
 (package     dune)
 (modules     main_dune)
 (libraries   wp_dune main)
 (preprocess  no_preprocessing))

(executable
 (name        main_jbuilder)
 (public_name jbuilder)
 (package     dune)
 (modules     main_jbuilder)
 (libraries   wp_jbuilder main)
 (preprocess  no_preprocessing))
