Git Product home page Git Product logo

Comments (6)

godmar avatar godmar commented on September 24, 2024

It's probably close to what I did in #114 for Ubuntu on Windows.

from problemtools.

simonlindholm avatar simonlindholm commented on September 24, 2024

I've had success with telling people to use the following:

sudo apt install libboost-regex-dev libc6 libgcc1 automake libgmp-dev libgmp10 libgmpxx4ldbl libstdc++6 python python-yaml python-plastex texlive-latex-recommended texlive-fonts-recommended texlive-latex-extra texlive-lang-cyrillic tidy ghostscript

the differences to your linked command line being that mine includes: libboost-regex-dev, libc6, libgcc1, libgmp10, libgmpxx4ldbl, libstdc++6, python, python-yaml, python-plastex, ghostscript
while yours includes: virtualenv, libboost-all-dev, texlive-latex-base, texlive-fonts-extra, texlive-lang-greek, openjdk-8-jre-headless

from problemtools.

godmar avatar godmar commented on September 24, 2024

I included virtualenv so I could install your pip into a virtual environment rather than into personal space (or system wide); if you have root and are willing to install in your home directory you don't need it. I just like it personally.

If you don't install a version of Java (like openjdk-8-jre-headless) then VIVA will not work, and in fact fail with a weird error.

The GMP packages are probably necessary on WSL as well and should be included, I think I had those from some previous software I installed.

For the texlive stuff, I just tried a few things and then noted everything I'd installed. Without the cyrillic package you get a weird error about ot2enc.def not defined.

And I think latex*recommend probably includes *base. Having some redundant packages is probably not a killer.

from problemtools.

austrin avatar austrin commented on September 24, 2024

I went with the list of packages used by the Docker images (which might have some redundancies but I think it is about as small as it can be).

from problemtools.

godmar avatar godmar commented on September 24, 2024

This won't support viva, which needs a JRE. (Sorry, just noticed that I'd already said that.)

Also, semi-related, I wasn't able to get the docker images to work, specifically couldn't get the bind mount to work. Obviously, this is not a problemtools issue, but WSL is orders of magnitude more convenient than Docker for people who choose or have to run problemtools in Windows. (Just the fact that in order to install Docker, you have to disable VirtualBox is annoying). Consider officially supporting it.

from problemtools.

austrin avatar austrin commented on September 24, 2024

This won't support viva, which needs a JRE.

This is true, but I don't really want to say that this is a dependency for problemtools because it is only a dependency for working with packages that have viva scripts, which is a small fraction of all packages.

What I do want to do however is to improve the error message that one gets when VIVA fails due to Java being missing so that it is clear to the user that the error they just got can be resolved by installing Java.

Consider officially supporting it.

I was actually just looking at your #114, nice! It seems like something that should be added to the documentation.

from problemtools.

Related Issues (20)

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.