Problem building prover submodule

Hi, I'm getting the following issue building the prover submodule (with head at 94912a7, though I also had this problem with head at 9be047). Is there some dependency I'm missing? Thanks!

~/code/liquidhaskell/prover$ cabal install Resolving dependencies... Configuring prover-0.1.0.0... Building prover-0.1.0.0... Failed to install prover-0.1.0.0 Build log ( /home/jeanyang/.cabal/logs/prover-0.1.0.0.log ): cabal: Entering directory '.' Configuring prover-0.1.0.0... Building prover-0.1.0.0... Preprocessing library prover-0.1.0.0... [2 of 8] Compiling Prover.SMTInterface ( src/Prover/SMTInterface.hs, dist/build/Prover/SMTInterface.o )

src/Prover/SMTInterface.hs:9:30: Not in scope: ‘defConfig’ cabal: Leaving directory '.' cabal: Error: some packages failed to install: prover-0.1.0.0 failed during the building phase. The exception was: ExitFailure 1

Hi @jeanqasaur!,

are you by any chance trying to build only the prover? (Or LH in general, and you get this with prover?)

If the former -- we'll look into it (though I don't know if we've ever built prover outside of LH... @nikivazou?)

If the former -- can you try using stack (i've found it to be a real godsend in these matters...)

https://github.com/ucsd-progsys/liquidhaskell/blob/develop/INSTALL.md#build-with-stack-recommended

Specifically, these three steps:

git clone --recursive git@github.com:ucsd-progsys/liquidhaskell.git
cd liquidhaskell
stack install

Hi, I ran into a problem with the prover dependency when running "make test" so then I tried to build prover by itself. I'm running into the same problem with both cabal and stack, which is that there is some variable "defConfig" that is not defined. Is "make test" supposed to still work? Thanks!

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 1:41 AM, Ranjit Jhala notifications@github.com wrote:

Hi @jeanqasaur https://github.com/jeanqasaur!,

are you by any chance trying to build only the prover? (Or LH in general, and you get this with prover?)

If the former -- we'll look into it (though I don't know if we've ever built prover outside of LH... @nikivazou https://github.com/nikivazou?)

If the former -- can you try using stack (i've found it to be a real godsend in these matters...)

https://github.com/ucsd-progsys/liquidhaskell/blob/ develop/INSTALL.md#build-with-stack-recommended

Specifically, these three steps:

git clone --recursive git@github.com:ucsd-progsys/liquidhaskell.gitcd liquidhaskell stack install

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834#issuecomment-249107589, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fYqTSc_Vn3B0VX2TgWMsr9cYGhmrks5qs2Z9gaJpZM4KEnAT .

Hmm.

Does "stack install" work in the top level directory?
Can you then do "stack exec -- liquid tests/pos/Abs.hs"

On Friday, September 23, 2016, Jean Yang notifications@github.com wrote:

Hi, I ran into a problem with the prover dependency when running "make test" so then I tried to build prover by itself. I'm running into the same problem with both cabal and stack, which is that there is some variable "defConfig" that is not defined. Is "make test" supposed to still work? Thanks!

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 1:41 AM, Ranjit Jhala <notifications@github.com javascript:_e(%7B%7D,'cvml','notifications@github.com');> wrote:

Hi @jeanqasaur https://github.com/jeanqasaur!,

are you by any chance trying to build only the prover? (Or LH in general, and you get this with prover?)

If the former -- we'll look into it (though I don't know if we've ever built prover outside of LH... @nikivazou https://github.com/nikivazou ?)

If the former -- can you try using stack (i've found it to be a real godsend in these matters...)

https://github.com/ucsd-progsys/liquidhaskell/blob/ develop/INSTALL.md#build-with-stack-recommended

Specifically, these three steps:

git clone --recursive git@github.com:ucsd-progsys/liquidhaskell.gitcd liquidhaskell stack install

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249107589, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fYqTSc_ Vn3B0VX2TgWMsr9cYGhmrks5qs2Z9gaJpZM4KEnAT .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834#issuecomment-249205886, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOC0RgSYDcLZwSA49iCwUxSqQZtS3ks5qs-A7gaJpZM4KEnAT .

Yes, both work and Abs.lhs is safe.

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 10:25 AM, Ranjit Jhala notifications@github.com wrote:

Hmm.

Does "stack install" work in the top level directory?

Can you then do "stack exec -- liquid tests/pos/Abs.hs"

?

On Friday, September 23, 2016, Jean Yang notifications@github.com wrote:

Hi, I ran into a problem with the prover dependency when running "make test" so then I tried to build prover by itself. I'm running into the same problem with both cabal and stack, which is that there is some variable "defConfig" that is not defined. Is "make test" supposed to still work? Thanks!

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 1:41 AM, Ranjit Jhala <notifications@github.com javascript:_e(%7B%7D,'cvml','notifications@github.com');> wrote:

Hi @jeanqasaur https://github.com/jeanqasaur!,

are you by any chance trying to build only the prover? (Or LH in general, and you get this with prover?)

If the former -- we'll look into it (though I don't know if we've ever built prover outside of LH... @nikivazou <https://github.com/nikivazou

?)

If the former -- can you try using stack (i've found it to be a real godsend in these matters...)

https://github.com/ucsd-progsys/liquidhaskell/blob/ develop/INSTALL.md#build-with-stack-recommended

Specifically, these three steps:

git clone --recursive git@github.com:ucsd-progsys/liquidhaskell.gitcd liquidhaskell stack install

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249107589, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fYqTSc_ Vn3B0VX2TgWMsr9cYGhmrks5qs2Z9gaJpZM4KEnAT .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249205886, or mute the thread https://github.com/notifications/unsubscribe-auth/ ABkuOC0RgSYDcLZwSA49iCwUxSqQZtS3ks5qs-A7gaJpZM4KEnAT .

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834#issuecomment-249207241, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fQLAAFD6nzT-O06THuG49-5eaGO2ks5qs-FxgaJpZM4KEnAT .

I'm also able to run the tutorial examples, which makes it confusing that "make test" should fail...

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 10:27 AM, Jean Yang jean.yang.writeme@gmail.com wrote:

Yes, both work and Abs.lhs is safe.

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 10:25 AM, Ranjit Jhala notifications@github.com wrote:

Hmm.

Does "stack install" work in the top level directory?

Can you then do "stack exec -- liquid tests/pos/Abs.hs"

?

On Friday, September 23, 2016, Jean Yang notifications@github.com wrote:

Hi, I ran into a problem with the prover dependency when running "make test" so then I tried to build prover by itself. I'm running into the same problem with both cabal and stack, which is that there is some variable "defConfig" that is not defined. Is "make test" supposed to still work? Thanks!

Jean Yang website http://jeanyang.com/ | twitter <http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 1:41 AM, Ranjit Jhala <notifications@github.com javascript:_e(%7B%7D,'cvml','notifications@github.com');> wrote:

Hi @jeanqasaur https://github.com/jeanqasaur!,

are you by any chance trying to build only the prover? (Or LH in general, and you get this with prover?)

If the former -- we'll look into it (though I don't know if we've ever built prover outside of LH... @nikivazou < https://github.com/nikivazou> ?)

If the former -- can you try using stack (i've found it to be a real godsend in these matters...)

https://github.com/ucsd-progsys/liquidhaskell/blob/ develop/INSTALL.md#build-with-stack-recommended

Specifically, these three steps:

git clone --recursive git@github.com:ucsd-progsys/liquidhaskell.gitcd liquidhaskell stack install

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249107589, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fYqTSc_ Vn3B0VX2TgWMsr9cYGhmrks5qs2Z9gaJpZM4KEnAT .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834# issuecomment-249205886, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOC0Rg SYDcLZwSA49iCwUxSqQZtS3ks5qs-A7gaJpZM4KEnAT .

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834#issuecomment-249207241, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fQLAAFD6nzT-O06THuG49-5eaGO2ks5qs-FxgaJpZM4KEnAT .

Great! Can you also check if the following work:

stack test liquidhaskell ... to run the full suite (may take a while..)
liquid tests/pos/Abs.hs ... as stack install should have put the executable liquid in your path (assuming you added ~/.local/bin/ to your $PATH

That should be it.

There's something fishy about the test rule in the Makefile/cabal that we'll have to fix (perhaps when @gridaphobe and @nikivazou are back from ICFP as I don't want to break the CI...)

On Fri, Sep 23, 2016 at 7:29 AM, Jean Yang notifications@github.com wrote:

I'm also able to run the tutorial examples, which makes it confusing that "make test" should fail...

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 10:27 AM, Jean Yang jean.yang.writeme@gmail.com wrote:

Yes, both work and Abs.lhs is safe.

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 10:25 AM, Ranjit Jhala <notifications@github.com

wrote:

Hmm.

Does "stack install" work in the top level directory?

Can you then do "stack exec -- liquid tests/pos/Abs.hs"

?

On Friday, September 23, 2016, Jean Yang notifications@github.com wrote:

Hi, I ran into a problem with the prover dependency when running "make test" so then I tried to build prover by itself. I'm running into the same problem with both cabal and stack, which is that there is some variable "defConfig" that is not defined. Is "make test" supposed to still work? Thanks!

Jean Yang website http://jeanyang.com/ | twitter < http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 1:41 AM, Ranjit Jhala < notifications@github.com javascript:_e(%7B%7D,'cvml','notifications@github.com');> wrote:

Hi @jeanqasaur https://github.com/jeanqasaur!,

are you by any chance trying to build only the prover? (Or LH in general, and you get this with prover?)

If the former -- we'll look into it (though I don't know if we've ever built prover outside of LH... @nikivazou < https://github.com/nikivazou> ?)

If the former -- can you try using stack (i've found it to be a real godsend in these matters...)

https://github.com/ucsd-progsys/liquidhaskell/blob/ develop/INSTALL.md#build-with-stack-recommended

Specifically, these three steps:

git clone --recursive git@github.com:ucsd-progsys/ liquidhaskell.gitcd liquidhaskell stack install

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249107589, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fYqTSc_ Vn3B0VX2TgWMsr9cYGhmrks5qs2Z9gaJpZM4KEnAT .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834# issuecomment-249205886, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOC0Rg SYDcLZwSA49iCwUxSqQZtS3ks5qs-A7gaJpZM4KEnAT .

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249207241, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fQLAAFD6nzT- O06THuG49-5eaGO2ks5qs-FxgaJpZM4KEnAT .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834#issuecomment-249208052, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOBZ2O_bUv1z_WpzuNjosDnoPSpzLks5qs-IwgaJpZM4KEnAT .

Thanks! Yes, liquid seemed to install properly, but I get this error with "stack test liquidhaskell:"

-- While building package prover-0.1.0.0 using:

/home/jeanyang/.stack/setup-exe-cache/x86_64-linux/setup-Simple-Cabal-1.22.5.0-ghc-7.10.3 --builddir=.stack-work/dist/x86_64-linux/Cabal-1.22.5.0 build lib:prover exe:prover --ghc-options " -ddump-hi -ddump-to-file" Process exited with code: ExitFailure 1 Logs have been written to: /home/jeanyang/code/liquidhaskell/.stack-work/logs/prover-0.1.0.0.log

Configuring prover-0.1.0.0...
Preprocessing library prover-0.1.0.0...
[6 of 8] Compiling Prover.SMTInterface ( src/Prover/SMTInterface.hs,

.stack-work/dist/x86_64-linux/Cabal-1.22.5.0/build/Prover/SMTInterface.o )

src/Prover/SMTInterface.hs:9:30: Not in scope: ‘defConfig’

As expected, here's what's in prover-0.1.0.0.log:

Configuring prover-0.1.0.0... Preprocessing library prover-0.1.0.0... [6 of 8] Compiling Prover.SMTInterface ( src/Prover/SMTInterface.hs, .stack-work/dist/x86_64-linux/Cabal-1.22.5.0/build/Prover/SMTInterface.o )

src/Prover/SMTInterface.hs:9:30: Not in scope: ‘defConfig’

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 10:48 AM, Ranjit Jhala notifications@github.com wrote:

Great! Can you also check if the following work:

stack test liquidhaskell ... to run the full suite (may take a while..)

liquid tests/pos/Abs.hs ... as stack install should have put the executable liquid in your path (assuming you added ~/.local/bin/ to your $PATH

That should be it.

There's something fishy about the test rule in the Makefile/cabal that we'll have to fix (perhaps when @gridaphobe and @nikivazou are back from ICFP as I don't want to break the CI...)

On Fri, Sep 23, 2016 at 7:29 AM, Jean Yang notifications@github.com wrote:

I'm also able to run the tutorial examples, which makes it confusing that "make test" should fail...

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 10:27 AM, Jean Yang <jean.yang.writeme@gmail.com

wrote:

Yes, both work and Abs.lhs is safe.

Jean Yang website http://jeanyang.com/ | twitter < http://twitter.com/jeanqasaur>

On Fri, Sep 23, 2016 at 10:25 AM, Ranjit Jhala < notifications@github.com

wrote:

Hmm.

Does "stack install" work in the top level directory?

Can you then do "stack exec -- liquid tests/pos/Abs.hs"

?

On Friday, September 23, 2016, Jean Yang notifications@github.com wrote:

Hi, I ran into a problem with the prover dependency when running "make test" so then I tried to build prover by itself. I'm running into the same problem with both cabal and stack, which is that there is some variable "defConfig" that is not defined. Is "make test" supposed to still work? Thanks!

Jean Yang website http://jeanyang.com/ | twitter < http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 1:41 AM, Ranjit Jhala < notifications@github.com javascript:_e(%7B%7D,'cvml','notifications@github.com');> wrote:

Hi @jeanqasaur https://github.com/jeanqasaur!,

are you by any chance trying to build only the prover? (Or LH in general, and you get this with prover?)

If the former -- we'll look into it (though I don't know if we've ever built prover outside of LH... @nikivazou < https://github.com/nikivazou> ?)

If the former -- can you try using stack (i've found it to be a real godsend in these matters...)

https://github.com/ucsd-progsys/liquidhaskell/blob/ develop/INSTALL.md#build-with-stack-recommended

Specifically, these three steps:

git clone --recursive git@github.com:ucsd-progsys/ liquidhaskell.gitcd liquidhaskell stack install

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249107589, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fYqTSc_ Vn3B0VX2TgWMsr9cYGhmrks5qs2Z9gaJpZM4KEnAT .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834# issuecomment-249205886, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOC0Rg SYDcLZwSA49iCwUxSqQZtS3ks5qs-A7gaJpZM4KEnAT .

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249207241, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fQLAAFD6nzT- O06THuG49-5eaGO2ks5qs-FxgaJpZM4KEnAT .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249208052, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOBZ2O_bUv1z_ WpzuNjosDnoPSpzLks5qs-IwgaJpZM4KEnAT

.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834#issuecomment-249213134, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_feGRd2En_26zHDOXQBCDbo2DBHxlks5qs-bZgaJpZM4KEnAT .

Yikes...! Ok I'll look into that ASAP!

On Friday, September 23, 2016, Jean Yang notifications@github.com wrote:

Thanks! Yes, liquid seemed to install properly, but I get this error with "stack test liquidhaskell:"

-- While building package prover-0.1.0.0 using:

/home/jeanyang/.stack/setup-exe-cache/x86_64-linux/setup- Simple-Cabal-1.22.5.0-ghc-7.10.3 --builddir=.stack-work/dist/x86_64-linux/Cabal-1.22.5.0 build lib:prover exe:prover --ghc-options " -ddump-hi -ddump-to-file" Process exited with code: ExitFailure 1 Logs have been written to: /home/jeanyang/code/liquidhaskell/.stack-work/logs/prover-0.1.0.0.log

Configuring prover-0.1.0.0... Preprocessing library prover-0.1.0.0... [6 of 8] Compiling Prover.SMTInterface ( src/Prover/SMTInterface.hs, .stack-work/dist/x86_64-linux/Cabal-1.22.5.0/build/Prover/SMTInterface.o )

src/Prover/SMTInterface.hs:9:30: Not in scope: ‘defConfig’

As expected, here's what's in prover-0.1.0.0.log:

Configuring prover-0.1.0.0... Preprocessing library prover-0.1.0.0... [6 of 8] Compiling Prover.SMTInterface ( src/Prover/SMTInterface.hs, .stack-work/dist/x86_64-linux/Cabal-1.22.5.0/build/Prover/SMTInterface.o )

src/Prover/SMTInterface.hs:9:30: Not in scope: ‘defConfig’

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 10:48 AM, Ranjit Jhala <notifications@github.com javascript:_e(%7B%7D,'cvml','notifications@github.com');> wrote:

Great! Can you also check if the following work:

stack test liquidhaskell ... to run the full suite (may take a while..)

liquid tests/pos/Abs.hs ... as stack install should have put the executable liquid in your path (assuming you added ~/.local/bin/ to your $PATH

That should be it.

There's something fishy about the test rule in the Makefile/cabal that we'll have to fix (perhaps when @gridaphobe and @nikivazou are back from ICFP as I don't want to break the CI...)

On Fri, Sep 23, 2016 at 7:29 AM, Jean Yang <notifications@github.com javascript:_e(%7B%7D,'cvml','notifications@github.com');> wrote:

I'm also able to run the tutorial examples, which makes it confusing that "make test" should fail...

Jean Yang website http://jeanyang.com/ | twitter < http://twitter.com/jeanqasaur>

On Fri, Sep 23, 2016 at 10:27 AM, Jean Yang < jean.yang.writeme@gmail.com javascript:_e(%7B%7D,'cvml','jean.yang.writeme@gmail.com');

wrote:

Yes, both work and Abs.lhs is safe.

Jean Yang website http://jeanyang.com/ | twitter < http://twitter.com/jeanqasaur>

On Fri, Sep 23, 2016 at 10:25 AM, Ranjit Jhala < notifications@github.com javascript:_e(%7B%7D,'cvml','notifications@github.com');

wrote:

Hmm.

Does "stack install" work in the top level directory?

Can you then do "stack exec -- liquid tests/pos/Abs.hs"

?

On Friday, September 23, 2016, Jean Yang <notifications@github.com javascript:_e(%7B%7D,'cvml','notifications@github.com');> wrote:

Hi, I ran into a problem with the prover dependency when running "make test" so then I tried to build prover by itself. I'm running into the same problem with both cabal and stack, which is that there is some variable "defConfig" that is not defined. Is "make test" supposed to still work? Thanks!

Jean Yang website http://jeanyang.com/ | twitter < http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 1:41 AM, Ranjit Jhala < notifications@github.com javascript:_e(%7B%7D,'cvml','notifications@github.com'); <javascript:_e(%7B%7D,'cvml','notifications@github.com javascript:_e(%7B%7D,'cvml','notifications@github.com');');>> wrote:

Hi @jeanqasaur https://github.com/jeanqasaur!,

are you by any chance trying to build only the prover? (Or LH in general, and you get this with prover?)

If the former -- we'll look into it (though I don't know if we've ever built prover outside of LH... @nikivazou < https://github.com/nikivazou> ?)

If the former -- can you try using stack (i've found it to be a real godsend in these matters...)

https://github.com/ucsd-progsys/liquidhaskell/blob/ develop/INSTALL.md#build-with-stack-recommended

Specifically, these three steps:

git clone --recursive git@github.com:ucsd-progsys/ liquidhaskell.gitcd liquidhaskell stack install

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249107589, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fYqTSc_ Vn3B0VX2TgWMsr9cYGhmrks5qs2Z9gaJpZM4KEnAT .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834# issuecomment-249205886, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOC0Rg SYDcLZwSA49iCwUxSqQZtS3ks5qs-A7gaJpZM4KEnAT .

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249207241, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fQLAAFD6nzT- O06THuG49-5eaGO2ks5qs-FxgaJpZM4KEnAT .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249208052, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOBZ2O_bUv1z_ WpzuNjosDnoPSpzLks5qs-IwgaJpZM4KEnAT

.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249213134, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_feGRd2En_ 26zHDOXQBCDbo2DBHxlks5qs-bZgaJpZM4KEnAT .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834#issuecomment-249215391, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOM60-ieIHgD1fafJW3xmZzvsQ593ks5qs-jZgaJpZM4KEnAT .

Grr. Can't reproduce this; a fresh clone seems to do

$ git clone --recursive https://github.com/ucsd-progsys/liquidhaskell.git lh-test 
$ cd lh-test
$ stack build
$ stack test

@jeanqasaur can you try a fresh sequence? Could the earlier use of cabal have caused some wierdness?

Yes, that works--thanks! What is lh-test?

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 2:14 PM, Ranjit Jhala notifications@github.com wrote:

Grr. Can't reproduce this; a fresh clone seems to do

$ git clone --recursive https://github.com/ucsd-progsys/liquidhaskell.git lh-test $ cd lh-test $ stack build $ stack test

@jeanqasaur https://github.com/jeanqasaur can you try a fresh sequence? Could the earlier use of cabal have caused some wierdness?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834#issuecomment-249264376, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_faVfWKNIo1wCtiExFRraxDlLfivRks5qtBb6gaJpZM4KEnAT .

Oh LH-test was just a random directory name I made up for the fresh clone...

On Friday, September 23, 2016, Jean Yang notifications@github.com wrote:

Yes, that works--thanks! What is lh-test?

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Fri, Sep 23, 2016 at 2:14 PM, Ranjit Jhala <notifications@github.com javascript:_e(%7B%7D,'cvml','notifications@github.com');> wrote:

Grr. Can't reproduce this; a fresh clone seems to do

$ git clone --recursive https://github.com/ucsd- progsys/liquidhaskell.git lh-test $ cd lh-test $ stack build $ stack test

@jeanqasaur https://github.com/jeanqasaur can you try a fresh sequence? Could the earlier use of cabal have caused some wierdness?

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/ 834#issuecomment-249264376, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_ faVfWKNIo1wCtiExFRraxDlLfivRks5qtBb6gaJpZM4KEnAT .

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834#issuecomment-249309190, or mute the thread https://github.com/notifications/unsubscribe-auth/ABkuOE7MU6506gQpf1NGU2cQEiF2KiTrks5qtEdJgaJpZM4KEnAT .

@jeanqasaur it worked right? I am closing the issue!

Yes, thanks for all the help!

Jean Yang website http://jeanyang.com/ | twitter http://twitter.com/jeanqasaur

On Mon, Sep 26, 2016 at 5:17 PM, Niki Vazou notifications@github.com wrote:

@jeanqasaur https://github.com/jeanqasaur it worked right? I am closing the issue!

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/ucsd-progsys/liquidhaskell/issues/834#issuecomment-249700381, or mute the thread https://github.com/notifications/unsubscribe-auth/AFQ_fUV_gnDeXux0q6F27LKUJzvwobRpks5quDaAgaJpZM4KEnAT .

ucsd-progsys / liquidhaskell

Problem building prover submodule #834