From e8b622489199d47725e8b2a9f5c3409247e08d0d Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Tue, 18 Feb 2025 07:01:35 -0500
Subject: [PATCH] Inital Commit

---
 .gitignore        |  2 ++
 SSG.ipkg          | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 pack.toml         | 10 ++++++++++
 src/Main.idr      |  4 ++++
 test/src/Main.idr |  4 ++++
 test/test.ipkg    | 47 +++++++++++++++++++++++++++++++++++++++++++++++
 6 files changed, 114 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 SSG.ipkg
 create mode 100644 pack.toml
 create mode 100644 src/Main.idr
 create mode 100644 test/src/Main.idr
 create mode 100644 test/test.ipkg

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..2784b39
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+build/
+*.*~
diff --git a/SSG.ipkg b/SSG.ipkg
new file mode 100644
index 0000000..86e0f89
--- /dev/null
+++ b/SSG.ipkg
@@ -0,0 +1,47 @@
+package SSG
+version = 0.1.0
+authors = "Nathan McCarty"
+-- maintainers =
+-- license =
+-- brief =
+-- readme =
+-- homepage =
+-- sourceloc =
+-- bugtracker =
+
+-- the Idris2 version required (e.g. langversion >= 0.5.1)
+-- langversion
+
+-- packages to add to search path
+-- depends =
+
+-- modules to install
+-- modules =
+
+-- main file (i.e. file to load at REPL)
+main = Main
+
+-- name of executable
+executable = "ssg"
+-- opts =
+sourcedir = "src"
+-- builddir =
+-- outputdir =
+
+-- script to run before building
+-- prebuild =
+
+-- 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 =
diff --git a/pack.toml b/pack.toml
new file mode 100644
index 0000000..44fed03
--- /dev/null
+++ b/pack.toml
@@ -0,0 +1,10 @@
+[custom.all.SSG]
+type = "local"
+path = "."
+ipkg = "SSG.ipkg"
+test = "test/test.ipkg"
+
+[custom.all.SSG-test]
+type = "local"
+path = "test"
+ipkg = "test.ipkg"
\ No newline at end of file
diff --git a/src/Main.idr b/src/Main.idr
new file mode 100644
index 0000000..d766697
--- /dev/null
+++ b/src/Main.idr
@@ -0,0 +1,4 @@
+module Main
+
+main : IO ()
+main = putStrLn "Hello from Idris2!"
diff --git a/test/src/Main.idr b/test/src/Main.idr
new file mode 100644
index 0000000..1047866
--- /dev/null
+++ b/test/src/Main.idr
@@ -0,0 +1,4 @@
+module Main
+
+main : IO ()
+main = putStrLn "Test successful!"
diff --git a/test/test.ipkg b/test/test.ipkg
new file mode 100644
index 0000000..81f240b
--- /dev/null
+++ b/test/test.ipkg
@@ -0,0 +1,47 @@
+package ssg-test
+version = 0.1.0
+authors = "Nathan McCarty"
+-- maintainers =
+-- license =
+-- brief =
+-- readme =
+-- homepage =
+-- sourceloc =
+-- bugtracker =
+
+-- the Idris2 version required (e.g. langversion >= 0.5.1)
+-- langversion
+
+-- packages to add to search path
+depends = SSG
+
+-- modules to install
+-- modules =
+
+-- main file (i.e. file to load at REPL)
+main = Main
+
+-- name of executable
+executable = "SSG-test"
+-- opts =
+sourcedir = "src"
+-- builddir =
+-- outputdir =
+
+-- script to run before building
+-- prebuild =
+
+-- 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 =