package window
version = 0.1.0
authors = "Tomáš Zemanovič"
-- maintainers =
license = "BSD-3-Clause"
brief = "Cross-platform native window creation and management"
-- readme =
-- homepage =
-- sourceloc =
-- bugtracker =

-- the Idris2 version required (e.g. langversion >= 0.5.1)
-- langversion

-- packages to add to search path
depends
  = elab-util

-- modules to install
modules
  = Graphics.Window
  , Graphics.Window.Event
  , Graphics.Window.Event.FromRaw
  , Winit.FFI

-- main file (i.e. file to load at REPL)
-- main =

-- name of executable
-- executable =
-- opts =
sourcedir = "src"
-- builddir =
-- outputdir =

-- script to run before building
prebuild = "script/prebuild.sh"

-- script to run after building
-- postbuild =

-- script to run after building, before installing
-- preinstall =

-- script to run after installing
-- postinstall =

-- script to run before cleaning
-- preclean =

-- script to run after cleaning
-- postclean =