Update dodona shell with solargraph

This commit is contained in:
Charlotte Van Petegem 2023-01-19 15:26:53 +01:00
parent 1f9a10801a
commit 53c0397aa5
No known key found for this signature in database
GPG key ID: 019E764B7184435A

View file

@ -10,9 +10,13 @@
nodejs
nodePackages.typescript-language-server
ruby_3_1
rubyPackages_3_1.solargraph
yarn
];
env = [
{ name = "CC"; value = "cc"; }
{ name = "CPP"; value = "cpp"; }
{ name = "CXX"; value = "c++"; }
{ name = "DATABASE_URL"; value = "mysql2://root:dodona@127.0.0.1:3306/dodona"; }
{ name = "TEST_DATABASE_URL"; value = "mysql2://root:dodona@127.0.0.1:3306/dodona_test"; }
{ name = "GEM_HOME"; eval = "$PRJ_DATA_DIR/bundle/$(ruby -e 'puts RUBY_VERSION')"; }
@ -83,7 +87,7 @@
];
language.c = {
compiler = pkgs.gcc;
includes = [ pkgs.libmysqlclient pkgs.zlib ];
libraries = [ pkgs.libmysqlclient pkgs.zlib ];
includes = [ pkgs.libmysqlclient pkgs.zlib pkgs.libffi ];
libraries = [ pkgs.libmysqlclient pkgs.zlib pkgs.libffi ];
};
}