search

PlasmaLang / plasma

Plasma Programming Language
Other
162 stars 11 forks source link

Test Plasma in WSL, develop step-by-step instructions. #298

Open PaulBone opened 4 years ago

PaulBone commented 4 years ago

Last time we checked Plasma worked OOTB in WSL1. It'd be nice to be sure of this, confirm it for WSL2, and maybe even add it to CI.

We should also develop step-by-step instructions for getting started under WSL, maybe link to Scott Hanselman's guides for how to setup WSL itself.

PaulBone commented 4 years ago

I've marked this "no-domain-knowledge" and "help wanted", and also "meta".

If you take this on and develop step-by-step instructions for setting up WSL and getting Plasma running in it that'd be great. If you encounter any problems (eg won't compile), then file separate bugs. That is this should be "no domain knowledge" so if something with domain knowledge comes up we can solve it separately.

Is setting up CI worthwhile? Is WSL different enough from Debian Linux (where we already have CI) to make that valuable?

I don't use windows regularly so I'm not an expert there, I can try since this is WSL and probably easy enough for me. I just haven't tried before.

Ivo-Balbaert commented 3 years ago

I installed Plasma on WSL2 running Ubuntu 20.04 LTS under Windows 10 Home version 20H2 build 19042.867. I followed https://plasmalang.org/docs/getting_started.html to the letter, the remarks below are when I had to do some more work.

1) To install WSL2, I followed the manual steps on https://docs.microsoft.com/en-us/windows/wsl/install-win10 2) Installing Mercury: sudo apt update sudo apt upgrade sudo apt install mercury-rotd-recommended (1) <-- on order for this command to succeed, I followed the errors I got, and installed the following in order: sudo apt install mercury-rotd-tools sudo apt install mercury-rotd-devel (2) <-- Got the error: The following packages have unmet dependencies: mercury-rotd-devel : Depends: libreadline7 (>= 6.0) but it is not installable E: Unable to correct problems, you have held broken packages. To solve this, I did: sudo apt install cupt/focal wget http://archive.ubuntu.com/ubuntu/pool/main/r/readline/libreadline7_7.0-3_amd64.deb sudo apt install libtinfo5 sudo dpkg -i libreadline7_7.0-3_amd64.deb Now repeating command (2) executed successfully. Then repeating command (1) executed successfully.

  Installing Asciidoc, ninja and Plasma went smoothly.
  Output from **make test**:

(cd tests; ./run_tests.sh dev) .........................................................................................................................................*..................... 158 out of 159 passed, 1 failed Failing tests: missing/args make: *** [Makefile:172: test] Error 1

PaulBone commented 3 years ago

Interesting that that test failed. I'll try to reproduce it sometime. Or you can try:

$ cd tests/missing
$ make args.test

And see what it says.

Ivo-Balbaert commented 3 years ago

This is the output:

ivo@DESKTOP-KN14QQK:~/plasma/tests/missing$ make args.test diff -u args.exp args.out --- args.exp 2021-03-16 16:28:00.267700800 +0100 +++ args.out 2021-03-16 16:33:44.437700800 +0100 @@ -1,2 +1,2 @@ Unsupported, cannot execute programs that accept command line arguments. (Bug #283) -Aborted (core dumped) +Aborted make: *** [Makefile:40: args.test] Error 1