Here is what you can do (if you have at least GHC 7.10 and cabal 1.18 on that machine, and if cabal had a chance to update its package cache at least once recently on that machine, by running cabal update, which itself requires internet access):
Create the following directory structure: Elm-Platform\ Elm-Platform\elm-compiler Elm-Platform\elm-package Elm-Platform\elm-make Elm-Platform\elm-repl The contents of these directories you get by downloading the 0.17 release zips from GitHub. For example, up front download https://github.com/elm-lang/elm-compiler/archive/0.17.0.zip, unzip it, and rename the contained directory elm-compiler-0.17.0 into simply elm-compiler. Then, inside the Elm-Platform directory run: cabal sandbox init cabal sandbox add-source elm-compiler cabal sandbox add-source elm-package cabal sandbox add-source elm-make cabal sandbox add-source elm-repl cabal install -j --only-dependencies --ghc-options="-w" elm-compiler elm-package elm-make elm-repl cabal install -j elm-compiler elm-package elm-make elm-repl This will not give you elm-reactor. It’s simply impossible to build that without internet access during the build. Also, even after you have successfully installed the above way without internet access, actually using the tools will require internet access for elm-package to download stuff. But you can prepare Elm project directories on another machine, install packages there, then move them over to the machine without internet access. 2016-05-31 6:34 GMT+02:00 Nikhil Dhar <[email protected]>: > Yes ,, >> > Actually I have to build this without using internet ,,, > and Buildfromsource.hs uses internet while running > > -- > You received this message because you are subscribed to the Google Groups > "Elm Discuss" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
