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