Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix make bootstrap error & Fix broken links #8

Open
wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Fix make bootstrap error & Fix broken links #8

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
2a407d0
Fix make bootstrap error
raptazure Jan 14, 2021
5795ac3
FIx broken links
raptazure Jan 14, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 0 additions & 2 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,5 @@ Server/InigoStatic/Local/*
.terraform
*.tfstate
*.tfstate.backup
*.ipkg
!*Bootstrap.ipkg
!./Inigo.ipkg
!./Server/InigoServer/InigoServer.ipkg
2 changes: 1 addition & 1 deletion Base/Color/Inigo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package="Color"
version="0.0.1"

description="Library for ANSI colors in your terminal"
link="https://github.com/inigo/tree/master/Base/Color"
link="https://github.com/idris-community/inigo/tree/master/Base/Color"
readme="README.md"
modules=["Color"]
depends=["idris2", "contrib"] # TODO: How to rebuild when changes?
Expand Down
2 changes: 1 addition & 1 deletion Base/Extra/Inigo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package="Extra"
version="0.0.3"

description="Miscellaneous Extra Functions and Helpers for Idris2"
link="https://github.com/inigo/tree/master/Base/Extra"
link="https://github.com/idris-community/inigo/tree/master/Base/Extra"
readme="README.md"
modules=["Extra.Buffer", "Extra.Debug", "Extra.Either", "Extra.List", "Extra.Monad", "Extra.Op", "Extra.String"]
depends=["idris2", "contrib"]
Expand Down
2 changes: 1 addition & 1 deletion Base/Fmt/Inigo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package="Fmt"
version="0.0.1"

description="Dependently-typed String Formatter for Idris2"
link="https://github.com/inigo/tree/master/Base/Fmt"
link="https://github.com/idris-community/inigo/tree/master/Base/Fmt"
readme="README.md"
modules=["Fmt"]
depends=["idris2", "contrib"]
Expand Down
2 changes: 1 addition & 1 deletion Base/IdrTest/Inigo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package="IdrTest"
version="0.0.1"

description="Unit-test framework for Idris2"
link="https://github.com/inigo/tree/master/Base/IdrTest"
link="https://github.com/idris-community/inigo/tree/master/Base/IdrTest"
readme="README.md"
modules=["IdrTest.Test", "IdrTest.Expectation"]
depends=["idris2", "contrib"]
Expand Down
2 changes: 1 addition & 1 deletion Base/Markdown/Inigo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package="Markdown"
version="0.0.4"

description="Markdown Parser and Renderer for Idris2"
link="https://github.com/inigo/tree/master/Base/Markdown"
link="https://github.com/idris-community/inigo/tree/master/Base/Markdown"
readme="README.md"
modules=["Markdown", "Markdown.Data", "Markdown.Format.Html"]
depends=["idris2", "contrib"]
Expand Down
2 changes: 1 addition & 1 deletion Base/SemVar/Inigo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package="SemVar"
version="0.0.1"

description="Semantic Version Parser and Satisfier"
link="https://github.com/inigo/tree/master/Base/SemVar"
link="https://github.com/idris-community/inigo/tree/master/Base/SemVar"
readme="README.md"
modules=["SemVar", "SemVar.Sat"]
depends=["idris2", "contrib"]
Expand Down
2 changes: 1 addition & 1 deletion Base/Toml/Inigo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package="Toml"
version="0.0.1"

description="Toml Parser for Idris2"
link="https://github.com/inigo/tree/master/Base/Toml"
link="https://github.com/idris-community/inigo/tree/master/Base/Toml"
readme="README.md"
modules=["Toml"]
depends=["idris2", "contrib"]
Expand Down
10 changes: 10 additions & 0 deletions Inigo.ipkg
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
package Inigo

modules = Client.Client
depends = lib, prelude, contrib, base, idris2

sourcedir = ""

version = "0.0.1"
main = Client.Client
executable = inigo