Fixed makefile
This commit is contained in:
parent
5bfc9b49a6
commit
5a53d7d9b1
1 changed files with 2 additions and 2 deletions
4
Makefile
4
Makefile
|
@ -56,7 +56,7 @@ $(HOME)/.local/bin/agda2html:
|
|||
|
||||
$(HOME)/agda-stdlib-master/:
|
||||
curl -L https://github.com/agda/agda-stdlib/archive/master.zip -o agda-stdlib-master.zip
|
||||
unzip -qq agda-stdlib-master.zip -d $HOME
|
||||
mkdir $HOME/.agda
|
||||
unzip -qq agda-stdlib-master.zip -d $(HOME)
|
||||
mkdir $(HOME)/.agda
|
||||
$(file >$(HOME)/.agda/defaults,standard-library)
|
||||
$(file >$(HOME)/.agda/libraries,$(HOME)/agda-stdlib-master/standard-library.agda-lib)
|
||||
|
|
Loading…
Add table
Reference in a new issue