idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-22 19:21:39 +03:00
Code Issues Projects Releases Wiki Activity
4b1667fdcf
Idris2/libs/contrib/Makefile

9 lines
105 B
Makefile
Raw Normal View History

Add libraries
2020-05-18 15:59:07 +03:00
all:
${IDRIS2} --build contrib.ipkg
install:
${IDRIS2} --install contrib.ipkg
clean:
Refactor makefiles
2020-05-19 15:50:47 +03:00
$(RM) -r build
Reference in New Issue Copy Permalink