Skip to content

AdaCore/learn

Repository files navigation

learn.adacore.com

Sources for AdaCore's learn.adacore.com website


Typescript Test Suite Sphinx Plugin Tests Sphinx Content Tests

Requirements

This project requires Vagrant and VirtualBox

Getting started

To setup for development run:

$ vagrant up

This will spin up two vms:

web: Is the the build system for the frontend web content. This includes the webpack build system and sphinx build.

server: Is the backend server with the widget API.

To build and start the development server for the frontend, run:

$ vagrant ssh web

# The following commands will be run inside the vm

$ source /vagrant/venv/bin/activate
$ cd /vagrant/frontend
$ yarn run dev

This will run webpack on the typescript and scss, then sphinx for the rst using make local which will point the widgets at 127.0.0.1:8000

You can then point your browser on your host to 127.0.0.1:8080 to see the learn website being served from vagrant.

To build and start the development server for the backend, run:

$ vagrant ssh server

# The following commands will be run inside the vm

$ cd /vagrant
$ source venv/bin/activate
$ ./dev_server.sh

You can use ctrl-c to quit the bash script which will kill both the flask and celery processes.