leaflet/example/dune

26 lines
433 B
Text
Raw Normal View History

2022-04-05 16:33:14 +02:00
(executable
2024-12-15 06:58:09 +01:00
(name script)
(modules script)
(libraries brr leaflet)
(modes js))
(executable
(name server)
(modules content server css_path mysites)
(libraries dune-site tiny_httpd))
2024-02-08 15:58:52 +01:00
(generate_sites_module
(module mysites)
(sites leaflet))
2024-12-15 06:58:09 +01:00
(rule
(with-stdout-to
content.ml
(progn
(echo "let index_html = {|")
(cat index.html)
(echo "|}")
(echo "let script_js = {|")
(cat script.bc.js)
(echo "|}"))))