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