michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Updated Makefile.

Browse source
This commit is contained in:
Wen Kokke 2018-03-12 12:07:17 +00:00
parent 1d1bfcf54a
commit 5c16222d49
No known key found for this signature in database
GPG key ID: 82A1AE2526064F4B
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -61,7 +61,7 @@ $(HOME)/agda-master/:
$(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
mkdir -p $(HOME)/.agda
echo "standard-library" > $(HOME)/.agda/defaults
echo "$(HOME)/agda-stdlib-master/standard-library.agda-lib" > $(HOME)/.agda/libraries