mirror of
https://github.com/AdaCore/code_examples_server.git
synced 2026-02-12 12:45:18 -08:00
fc6ccd27174e6410e9ed34bcd7b4567ca3a6b345
code_examples_server
Prototype server for creating interactive "try SPARK / try Ada" webpages
Getting started
To setup, do this:
virtualenv env
pip install -r REQUIREMENTS.txt
./manage.py makemigrations
./manage.py migrate
To enter some examples in the database, do this:
./manage.py fill_examples --dir=resources/example/a
To launch the server, do this:
./manage.py runserver
Description
Languages
Python
91.7%
HTML
4.5%
Makefile
1.3%
Ada
0.9%
Shell
0.9%
Other
0.7%