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

Fixed Makefile

Browse source
This commit is contained in:
Wen Kokke 2018-01-28 09:43:02 +00:00
parent 739b2497ee
commit 5bfc9b49a6
No known key found for this signature in database
GPG key ID: 82A1AE2526064F4B
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Makefile
View file

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