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

Add build instructions #2

Open
bbarker opened this issue Aug 14, 2018 · 8 comments
Open

Add build instructions #2

bbarker opened this issue Aug 14, 2018 · 8 comments

Comments

@bbarker
Copy link

bbarker commented Aug 14, 2018

First go at using atskpg, so may be incorrect usage:

$ ~/.local/bin/atspkg build 
atspkg: 
 /home/brandon/workspace/edit-distance/atspkg.dhall/home/brandon/workspace/edit-distance/atspkg.dhall: hGetContents: invalid argument (invalid byte sequence)
brandon@beb82dell0-DevContainer:~/workspace/edit-distance
@vmchale
Copy link
Owner

vmchale commented Aug 14, 2018

Oh dear. What happens when you run ~/.local/bin/atspkg test?

Also, does anything informative pop up when you ~/.local/bin/atspkg build -vv?

@bbarker
Copy link
Author

bbarker commented Aug 14, 2018

Those commands have identical output to the atspkg build command. Being inexperienced with Haskell builds, all I can offer at this point is to say that yesterday I tried a cabal build of atspkg on the same system, so I'm not sure if that could be interfering.

@vmchale
Copy link
Owner

vmchale commented Aug 14, 2018

That's odd. What's the value of $HOME?

I'm guessing this is failing due to some locale issue. If you're on a Unix, I think that atspkg should be handling this better.

@bbarker
Copy link
Author

bbarker commented Aug 14, 2018

$HOME is just /home/brandon; I do have a slightly odd setup, though not that strange: I'm running this from an Ubuntu docker container that has a nixpkgs installation. Due to the nix-ishness I believe LANG, LC_ALL, etc are not set by default (confirmed by checking env output). I tried exportLANG=en_US.UTF-8 which I've had to do before in other contexts (grasping for straws) but it didn't improve the situation.

@bbarker
Copy link
Author

bbarker commented Aug 14, 2018 via email

@vmchale
Copy link
Owner

vmchale commented Aug 14, 2018

Sure! That hopefully give a reproducible case :)

@bbarker
Copy link
Author

bbarker commented Aug 14, 2018

Thanks! Here it is https://github.com/CornellCAC/docker-nix-intellij- just do source build.sh to build and ./idea.sh to start it. You can cut down the build time by commenting out many packages in dev-env.nix, which I really need to get around to modularizing.

Because cURL in nix land seems destined to be broken forever (e.g. NixOS/nixpkgs#13744) , when using curl, I usually have to add -k to get it to ignore anything to do with SSL. I've spent time trying to fix this before, and I don't think I had a decent workaround.

@bbarker
Copy link
Author

bbarker commented Aug 16, 2018 via email

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

2 participants