diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2021-11-13 16:38:45 +0000 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2021-11-13 16:59:34 +0000 |
commit | 677aae3ffd5162ea9b630f051d4be17091ed1a16 (patch) | |
tree | 98e0f404e8bc9e642ce3789c15ba42437d7d978c /README | |
parent | fdfc737ce34840a768c98aa370725dbe650a6a3c (diff) |
Generate a minimal meson.build to have vala language server
Diffstat (limited to 'README')
-rw-r--r-- | README | 43 |
1 files changed, 4 insertions, 39 deletions
@@ -41,47 +41,12 @@ These are the run-time dependencies: To build, first run the =bootstrap= script, then =./configure=, =make=. You can run the program without installing it, by running -=./pre-inst-env guile src/disfluid=, or you can install it with -=make install=. +=./pre-inst-env guile src/disfluid=, or you can install it with =make +install=. If you want to have VLS (Vala Language Server) support, run +=make meson.build= to generate a partial meson project definition, at +least for vala code. * Running Once installed, you get a program named =disfluid=. Run it with =-h= to get the options. - -* Running as a docker image -The =guix/vkraus/systems/test.scm= contains a couple of servers, one -for [[http://localhost:8081/alice#me]] (the password is "alice"), and one -for [[http://localhost:8082/bob#me]] (the password is "bob"). Both servers -running on localhost:8081 and localhost:8082 are aware that they are -http-only and run on these ports. - -Once you have the Guix channel installed, you can build the image as: - -#+begin_src shell - sudo docker load -i $(guix system docker-image guix/vkraus/systems/test.scm) \ - && sudo docker tag guix:latest vivienkraus/disfluid:test-bench -#+end_src - -I try to publish recent versions of the test bench on Docker Hub, but -I may forget. Don’t forget to remind me if you think it’s too old. - -Then, you will need to start the container: - -#+begin_src shell - export container_id="$(sudo docker create vivienkraus/disfluid:test-bench)" - sudo docker start $container_id -#+end_src - -You can enter the container to check the log files, for instance: - -#+begin_src shell - sudo docker exec -it $container_id /run/current-system/profile/bin/bash --login -#+end_src - -Unfortunately, I don’t know how to let the host access the 8081 and -8082 ports. - -# Local Variables: -# mode: org -# End: |