From c85681e458645bc4bc075b716cc34f022d3538b9 Mon Sep 17 00:00:00 2001 From: RabsRincon Date: Fri, 9 Apr 2021 22:59:49 +0200 Subject: [PATCH] Minor readme changes --- README.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index d7f1b73a3..c270f30f5 100644 --- a/README.md +++ b/README.md @@ -61,14 +61,14 @@ Running with `make EXTRA_ARGS='--language LANG'` will allow you to load third party libraries needed to run; using `npm` to install server-side and client side components. +For development, we suggest using `make dev` to enable some useful features, + such as automatic reloading on file changes and shorter startup times. + Some languages need extra tools to demangle them, e.g. `rust`, `d`, or `haskell`. Such tools are kept separately in the [tools repo](https://github.com/compiler-explorer/compiler-explorer-tools). -The config system leaves a lot to be desired. - [Work has been done](https://github.com/rabsrincon/ccs-js) on porting - [CCS](https://github.com/hellige/ccs-cpp) to Javascript and then something - more rational can be used. +The config system leaves a lot to be desired. This is something we want to improve. A [Road map](Roadmap.md) is available which gives a little insight into