GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-04 22:03:11 +03:00
Code Issues Projects Releases Wiki Activity

remove submodule; EasyKernel is on hackage

Browse Source
This commit is contained in:
Adam C. Foltzer 2015-02-12 08:54:35 -08:00
parent 6bdbbfae30
commit 2e0f0f0dc5
3 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.gitmodules vendored
View File

@ -1,3 +0,0 @@
[submodule "IHaskell"]
path = IHaskell
url = https://github.com/gibiansky/IHaskell.git

1
IHaskell

@ -1 +0,0 @@
Subproject commit 7bff2be3f4675aaec3cf367caae453fc84d24b89

3
Makefile
View File

@ -92,9 +92,6 @@ msi: ${PKG}.msi
# during initial setup, you have to invoke this target again manually
${CS}:
$(CABAL) sandbox init
# XXX: Temporary until ipython-kernel is back up on Hackage
git submodule update --init
$(CABAL) sandbox add-source IHaskell/ipython-kernel
${CS_BIN}/alex: | ${CS}
$(CABAL_INSTALL) alex