(executable
 (name server)
 (public_name belenios-server)
 (package belenios-server)
 (flags -linkall)
 (libraries ocsigenserver ocsipersist.sqlite ocsigenserver.ext.redirectmod
   ocsigenserver.ext.staticmod eliom belenios-platform-native belenios-server))
