;; Examples demonstrating GADT-based Tailwind interface
(executables
 (public_names 
  index
  hello_tailwind 
  colors_and_typography 
  layout_and_spacing 
  responsive_design
  effects_and_variants
  patterns_and_components
  comprehensive_showcase
  button_demo)
 (names 
  index_00
  hello_tailwind_01
  colors_and_typography_02
  layout_and_spacing_03
  responsive_design_04
  effects_and_variants_05
  patterns_and_components_06
  comprehensive_showcase_07
  button_demo)
 (package tailwind)
 (libraries tailwind tailwind-html htmlit unix))

;; HTML index generator
(executable
 (public_name index_html_generator)
 (name index_html_generator)
 (package tailwind)
 (libraries tailwind tailwind-html htmlit))

;; Generate HTML files from examples
(rule
 (target hello_tailwind_01.html)
 (deps (:exe hello_tailwind_01.exe))
 (action (with-stdout-to %{target} (run %{exe}))))

(rule
 (target colors_and_typography_02.html)
 (deps (:exe colors_and_typography_02.exe))
 (action (with-stdout-to %{target} (run %{exe}))))

(rule
 (target layout_and_spacing_03.html)
 (deps (:exe layout_and_spacing_03.exe))
 (action (with-stdout-to %{target} (run %{exe}))))

(rule
 (target responsive_design_04.html)
 (deps (:exe responsive_design_04.exe))
 (action (with-stdout-to %{target} (run %{exe}))))

(rule
 (target effects_and_variants_05.html)
 (deps (:exe effects_and_variants_05.exe))
 (action (with-stdout-to %{target} (run %{exe}))))

(rule
 (target patterns_and_components_06.html)
 (deps (:exe patterns_and_components_06.exe))
 (action (with-stdout-to %{target} (run %{exe}))))

(rule
 (target comprehensive_showcase_07.html)
 (deps (:exe comprehensive_showcase_07.exe))
 (action (with-stdout-to %{target} (run %{exe}))))

(rule
 (target button_demo.html)
 (deps (:exe button_demo.exe))
 (action (with-stdout-to %{target} (run %{exe}))))

;; Generate CSS files using Tailwind CLI
(rule
 (targets hello_tailwind_01.css)
 (deps 
  input.css
  hello_tailwind_01.html)
 (action 
  (run tailwindcss --input input.css --output %{targets} --minify)))

(rule
 (targets colors_and_typography_02.css)
 (deps 
  input.css
  colors_and_typography_02.html)
 (action 
  (run tailwindcss --input input.css --output %{targets} --minify)))

(rule
 (targets layout_and_spacing_03.css)
 (deps 
  input.css
  layout_and_spacing_03.html)
 (action 
  (run tailwindcss --input input.css --output %{targets} --minify)))

(rule
 (targets responsive_design_04.css)
 (deps 
  input.css
  responsive_design_04.html)
 (action 
  (run tailwindcss --input input.css --output %{targets} --minify)))

(rule
 (targets effects_and_variants_05.css)
 (deps 
  input.css
  effects_and_variants_05.html)
 (action 
  (run tailwindcss --input input.css --output %{targets} --minify)))

(rule
 (targets patterns_and_components_06.css)
 (deps 
  input.css
  patterns_and_components_06.html)
 (action 
  (run tailwindcss --input input.css --output %{targets} --minify)))

(rule
 (targets comprehensive_showcase_07.css)
 (deps 
  input.css
  comprehensive_showcase_07.html)
 (action 
  (run tailwindcss --input input.css --output %{targets} --minify)))

(rule
 (targets button_demo.css)
 (deps 
  input.css
  button_demo.html)
 (action 
  (run tailwindcss --input input.css --output %{targets} --minify)))

;; Generate index.html page
(rule
 (target index.html)
 (deps (:exe index_html_generator.exe))
 (action (with-stdout-to %{target} (run %{exe}))))

;; Alias to build all HTML files
(alias
 (name examples-html)
 (deps
  index.html
  hello_tailwind_01.html
  colors_and_typography_02.html
  layout_and_spacing_03.html
  responsive_design_04.html
  effects_and_variants_05.html
  patterns_and_components_06.html
  comprehensive_showcase_07.html
  button_demo.html))

;; Alias to build all CSS files (requires Tailwind CLI)
(alias
 (name examples-css)
 (deps
  (alias_rec examples-html)
  hello_tailwind_01.css
  colors_and_typography_02.css
  layout_and_spacing_03.css
  responsive_design_04.css
  effects_and_variants_05.css
  patterns_and_components_06.css
  comprehensive_showcase_07.css
  button_demo.css))

;; Install generated files
(install
 (section doc)
 (package tailwind)
 (files
  (index.html as examples/index.html)
  (hello_tailwind_01.html as examples/hello_tailwind_01.html)
  (hello_tailwind_01.css as examples/hello_tailwind_01.css)
  (colors_and_typography_02.html as examples/colors_and_typography_02.html)
  (colors_and_typography_02.css as examples/colors_and_typography_02.css)
  (layout_and_spacing_03.html as examples/layout_and_spacing_03.html)
  (layout_and_spacing_03.css as examples/layout_and_spacing_03.css)
  (responsive_design_04.html as examples/responsive_design_04.html)
  (responsive_design_04.css as examples/responsive_design_04.css)
  (effects_and_variants_05.html as examples/effects_and_variants_05.html)
  (effects_and_variants_05.css as examples/effects_and_variants_05.css)
  (patterns_and_components_06.html as examples/patterns_and_components_06.html)
  (patterns_and_components_06.css as examples/patterns_and_components_06.css)
  (comprehensive_showcase_07.html as examples/comprehensive_showcase_07.html)
  (comprehensive_showcase_07.css as examples/comprehensive_showcase_07.css)
  (button_demo.html as examples/button_demo.html)
  (button_demo.css as examples/button_demo.css)))