| 12
 3
 4
 5
 6
 7
 8
 9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 
 | (executable
 (public_name 0install)
 (name        static_0install)
 (modules     static_0install)
 (ocamlopt_flags -linkall)	; Needed for the GUI plugin
 (ocamlc_flags   -linkall -custom)
 (link_flags  (:include support/extra_objects.sexp))
 (package     0install)
 (libraries   zeroinstall_cli zeroinstall support))
(executable
 (public_name 0install-runenv)
 (package     0install)
 (name        runenv)
 (modules     runenv)
 (link_flags  (:include support/extra_objects.sexp))
 (libraries   zeroinstall_cli zeroinstall support))
(install
 (package 0install)
 (section bin)
 (files
  (static_0install.exe as 0launch)
  (static_0install.exe as 0store)
  (static_0install.exe as 0store-secure-add)
  (static_0install.exe as 0desktop)
  (static_0install.exe as 0alias)
 ))
(install
 (package 0install)
 (section man)
 (files 
  (0launch.1           as man1/0launch.1)
  (0store-secure-add.1 as man1/0store-secure-add.1)
  (0store.1            as man1/0store.1)
  (0desktop.1          as man1/0desktop.1)
  (0install.1          as man1/0install.1)
 ))
 |