Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Compilation under Windows #1

Open
NCrashed opened this issue Mar 11, 2016 · 2 comments
Open

Compilation under Windows #1

NCrashed opened this issue Mar 11, 2016 · 2 comments

Comments

@NCrashed
Copy link

Windows 7 x64, stack, lts-5.6

Demo project: https://github.com/NCrashed/lambdacube-ir-test

C:\dev\lambdacube-ir-test>stack install
lambdacube-ir-0.3.0.0: configure
lambdacube-ir-0.3.0.0: build

--  While building package lambdacube-ir-0.3.0.0 using:
      C:\Users\NCrashed\AppData\Roaming\stack\setup-exe-cache\x86_64-windows\setup-Simple-Cabal-1.22.5.0-ghc-7.10.3.exe --builddir=.stack-work\dist\2672c1f3 build lib:lambdacube-ir --ghc-options " -ddump-hi -ddump-to-file"
    Process exited with code: ExitFailure 1
    Logs have been written to: C:\dev\lambdacube-ir-test\.stack-work\logs\lambdacube-ir-0.3.0.0.log

    Configuring lambdacube-ir-0.3.0.0...
    Preprocessing library lambdacube-ir-0.3.0.0...

    C:\dev\lambdacube-ir-test\.stack-work\downloaded\49271ab6b07bb73a383c47dda35bb993ee26fd87176abc3e1bdc08c5badc4fc8\lambdacube-ir.haskell\src\LambdaCube\IR.hs:1:1:
        File name does not match module name:
        Saw: `Main'
        Expected: `LambdaCube.IR'
@csabahruska
Copy link
Member

It builds fine on Linux and OSX.
The problem is that the lambdacube-ir git repository contains symbolic links, that can not handled by Windows. The sym links are not presented in the hackage lambdacube-ir releases though.

@cobbpg
Copy link
Contributor

cobbpg commented Mar 11, 2016

Yes, the symlinks are the problem under Windows. There's a slightly inconvenient but working solution though. Start a Git shell as administrator run the following commands:

git config core.symlinks true
git reset --hard HEAD

Afterwards, whenever you want to execute git pull for this repository, you have to do it in an admin shell.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants