├── .github └── workflows │ └── ci-nix.yml ├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── examples ├── git-dep │ ├── sirdi.json │ └── src │ │ └── Nia.idr └── local-dep │ ├── README.md │ ├── examp │ ├── sirdi.json │ └── src │ │ └── Examp.idr │ └── nia │ ├── sirdi.json │ └── src │ └── Nia.idr ├── sirdi.ipkg ├── src ├── Build.idr ├── DepTree.idr ├── Ipkg.idr ├── Main.idr ├── Package │ ├── Description.idr │ ├── Description │ │ └── Parse.idr │ ├── Identifier.idr │ └── Source.idr ├── Util.idr └── Version.idr └── tests ├── Main.idr ├── Makefile ├── sirdi ├── new-project-can-be-built │ ├── expected │ └── run └── transitive-deps-added-to-ipkg │ ├── examp │ ├── sirdi.json │ └── src │ │ └── Examp.idr │ ├── expected │ ├── nia │ ├── sirdi.json │ └── src │ │ └── Nia.idr │ └── run └── tests.ipkg /.github/workflows/ci-nix.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/.github/workflows/ci-nix.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/README.md -------------------------------------------------------------------------------- /examples/git-dep/sirdi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/examples/git-dep/sirdi.json -------------------------------------------------------------------------------- /examples/git-dep/src/Nia.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/examples/git-dep/src/Nia.idr -------------------------------------------------------------------------------- /examples/local-dep/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/examples/local-dep/README.md -------------------------------------------------------------------------------- /examples/local-dep/examp/sirdi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/examples/local-dep/examp/sirdi.json -------------------------------------------------------------------------------- /examples/local-dep/examp/src/Examp.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/examples/local-dep/examp/src/Examp.idr -------------------------------------------------------------------------------- /examples/local-dep/nia/sirdi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/examples/local-dep/nia/sirdi.json -------------------------------------------------------------------------------- /examples/local-dep/nia/src/Nia.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/examples/local-dep/nia/src/Nia.idr -------------------------------------------------------------------------------- /sirdi.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/sirdi.ipkg -------------------------------------------------------------------------------- /src/Build.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/src/Build.idr -------------------------------------------------------------------------------- /src/DepTree.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/src/DepTree.idr -------------------------------------------------------------------------------- /src/Ipkg.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/src/Ipkg.idr -------------------------------------------------------------------------------- /src/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/src/Main.idr -------------------------------------------------------------------------------- /src/Package/Description.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/src/Package/Description.idr -------------------------------------------------------------------------------- /src/Package/Description/Parse.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/src/Package/Description/Parse.idr -------------------------------------------------------------------------------- /src/Package/Identifier.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/src/Package/Identifier.idr -------------------------------------------------------------------------------- /src/Package/Source.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/src/Package/Source.idr -------------------------------------------------------------------------------- /src/Util.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/src/Util.idr -------------------------------------------------------------------------------- /src/Version.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/src/Version.idr -------------------------------------------------------------------------------- /tests/Main.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/tests/Main.idr -------------------------------------------------------------------------------- /tests/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/tests/Makefile -------------------------------------------------------------------------------- /tests/sirdi/new-project-can-be-built/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/tests/sirdi/new-project-can-be-built/expected -------------------------------------------------------------------------------- /tests/sirdi/new-project-can-be-built/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/tests/sirdi/new-project-can-be-built/run -------------------------------------------------------------------------------- /tests/sirdi/transitive-deps-added-to-ipkg/examp/sirdi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/tests/sirdi/transitive-deps-added-to-ipkg/examp/sirdi.json -------------------------------------------------------------------------------- /tests/sirdi/transitive-deps-added-to-ipkg/examp/src/Examp.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/tests/sirdi/transitive-deps-added-to-ipkg/examp/src/Examp.idr -------------------------------------------------------------------------------- /tests/sirdi/transitive-deps-added-to-ipkg/expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/tests/sirdi/transitive-deps-added-to-ipkg/expected -------------------------------------------------------------------------------- /tests/sirdi/transitive-deps-added-to-ipkg/nia/sirdi.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/tests/sirdi/transitive-deps-added-to-ipkg/nia/sirdi.json -------------------------------------------------------------------------------- /tests/sirdi/transitive-deps-added-to-ipkg/nia/src/Nia.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/tests/sirdi/transitive-deps-added-to-ipkg/nia/src/Nia.idr -------------------------------------------------------------------------------- /tests/sirdi/transitive-deps-added-to-ipkg/run: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/tests/sirdi/transitive-deps-added-to-ipkg/run -------------------------------------------------------------------------------- /tests/tests.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/eayus/sirdi/HEAD/tests/tests.ipkg --------------------------------------------------------------------------------