-
Notifications
You must be signed in to change notification settings - Fork 1
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
deploy to DAS-5 #24
Comments
I'm not getting result / log files from my Slurm job now. investigating. edit: ran outta my 4 gb user space while compiling -- DAS-5 support now bumped me to 10 gb. :) |
the local install seems to have failed due to disk quota again tho! HaskTorch install instead seems to fail cuz |
failing a proper compiler stack, I could move over:
scp ./dist-newstyle/build/x86_64-linux/ghc-8.6.5/synthesis-0.0.0/x/generator/build/generator/generator vu:/home/tga340/generator
ssh vu
scp ./generator das:/home/tga340/generator
ssh das
./generator
# -bash: ./generator: /nix/store/6yaj6n8l925xxfbcd65gzqx3dz7idrnn-glibc-2.27/lib/ld-linux-x86-64.so.2: bad ELF interpreter: No such file or directory so... I guess by default the binaries use dynamic linking, which obviously is not portable. I'll probably end up at Google Cloud somehow. |
apparently cabal file option |
see NixOS/nixpkgs#43795 for options... |
Google Cloud attempts:
given enough resources (50 GB disk, 8 GB RAM), that seemed to work. |
Junji:
I've now done AWS signup. It looks like from my place of Amsterdam, Frankfurt (
|
DAS-5 is the machine made available to me for running research by VU.
the box seems to offer slurm modules (not ones I want, see
module avail
) +yum
.using the latter I managed to get Stack running there:
The text was updated successfully, but these errors were encountered: