issues
search
eayus
/
sirdi
Package manager for Idris
GNU General Public License v3.0
35
stars
11
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Add usage text
#32
iacore
closed
2 years ago
0
Only set PREFIX if not already set
#31
CodingCellist
closed
2 years ago
0
Merge refactor in to main
#30
Z-snails
opened
2 years ago
0
Add PREFIX option for Makefile
#29
ghost
closed
2 years ago
0
Add build script to refactor branch
#28
Z-snails
closed
2 years ago
1
Sirdi deletes other `.ipkg`-files and not just the one(s) it generates
#27
CodingCellist
opened
2 years ago
0
Add support for some library dependencies
#26
algebraic-dev
closed
2 years ago
1
Support pulling from git
#25
andrevidela
closed
2 years ago
0
Build with Idris2 0.5.1
#24
mixphix
closed
2 years ago
0
Add installation instructions
#23
joelberkeley
opened
2 years ago
3
Sirdi cannot package itself
#22
ohad
opened
2 years ago
0
`make install` doesn't support `PREFIX`
#21
CodingCellist
closed
2 years ago
0
comment on the fact that the ipkg file has ben generated by Sirdi.
#20
mattpolzin
closed
2 years ago
0
Add version to package descriptions and forward on to ipkg files.
#19
mattpolzin
closed
2 years ago
0
Makefile tweaks
#18
mattpolzin
closed
2 years ago
0
Add executable field
#17
Z-snails
opened
2 years ago
0
LSP support
#16
Z-snails
opened
2 years ago
4
Update package names to match valid idris ones
#15
Z-snails
closed
2 years ago
0
Add make install command
#14
Z-snails
closed
2 years ago
0
How to build sirdi?
#13
srid
closed
2 years ago
1
Project Name
#12
eayus
closed
2 years ago
9
Transitive dependencies and refactoring
#11
claymager
closed
2 years ago
0
Add build script to install sirdi's dependencies
#10
Z-snails
closed
2 years ago
0
Command line arguments improvement
#9
eayus
closed
2 years ago
6
Support pinning git repos with a commit hash
#8
eayus
closed
2 years ago
2
Use libraries over "system" commands
#7
eayus
opened
2 years ago
1
Testsuite
#6
claymager
closed
2 years ago
1
Test Suite
#5
eayus
closed
2 years ago
1
Allow legacy packages
#4
claymager
closed
2 years ago
0
Configuration File Format
#3
eayus
closed
2 years ago
15
Minor dev tweaks
#2
claymager
closed
2 years ago
0
Add 'passthru' config field
#1
claymager
closed
2 years ago
0