Fixed Makefile
This commit is contained in:
parent
0a761e5680
commit
ecb1a30f3a
1 changed files with 2 additions and 2 deletions
4
Makefile
4
Makefile
|
@ -58,5 +58,5 @@ $(HOME)/agda-stdlib-master/:
|
|||
curl -L https://github.com/agda/agda-stdlib/archive/master.zip -o $(HOME)/agda-stdlib-master.zip
|
||||
unzip -qq $(HOME)/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)
|
||||
echo "standard-library" > $(HOME)/.agda/defaults
|
||||
echo "$(HOME)/agda-stdlib-master/standard-library.agda-lib" > $(HOME)/.agda/libraries
|
||||
|
|
Loading…
Add table
Reference in a new issue