25 lines
433 B
Text
25 lines
433 B
Text
(executable
|
|
(name script)
|
|
(modules script)
|
|
(libraries brr leaflet)
|
|
(modes js))
|
|
|
|
(executable
|
|
(name server)
|
|
(modules content server css_path mysites)
|
|
(libraries dune-site tiny_httpd))
|
|
|
|
(generate_sites_module
|
|
(module mysites)
|
|
(sites leaflet))
|
|
|
|
(rule
|
|
(with-stdout-to
|
|
content.ml
|
|
(progn
|
|
(echo "let index_html = {|")
|
|
(cat index.html)
|
|
(echo "|}")
|
|
(echo "let script_js = {|")
|
|
(cat script.bc.js)
|
|
(echo "|}"))))
|