88 Commits

Author SHA1 Message Date
gusthoff
87770bf5d6 Adding .gitignore file for backend 2022-08-19 16:04:34 +02:00
Rowan Walshe
8e9f4fd2bc Remove references to the previous backend 2022-08-09 13:51:15 +01:00
gusthoff
1d38b42255 Backend: adding support for -gnateE switch 2022-01-28 17:44:02 -03:00
gusthoff
24e483694d VM: fixing issues with selected packages 2022-01-19 22:36:43 -03:00
gusthoff
e5980346e2 VM: correcting version number of celery package 2022-01-19 18:41:36 -03:00
gusthoff
ee554668e9 VM: updating packages and fixing issues 2022-01-18 08:39:08 -03:00
dependabot[bot]
ed8db7198e Bump celery from 4.4.0 to 5.2.2 in /backend
Bumps [celery](https://github.com/celery/celery) from 4.4.0 to 5.2.2.
- [Release notes](https://github.com/celery/celery/releases)
- [Changelog](https://github.com/celery/celery/blob/master/Changelog.rst)
- [Commits](https://github.com/celery/celery/compare/4.4.0...v5.2.2)

---
updated-dependencies:
- dependency-name: celery
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
2022-01-06 22:42:45 +00:00
Pierre Trespeuch
aa40864c88 Add a GET / route to backend
AWS Load balancer can use this route to check backend server health.

TN: U507-032
2021-06-08 11:32:38 +02:00
gusthoff
5b4d79d24c Vagrant: updating VM installation to GNAT Community 2021 2021-05-28 20:12:05 +02:00
Rob Tice
6a2c53a4cb Documentation update 2021-04-16 12:14:32 -04:00
Robert Tice
939a7133fd Fixing unspecified main failures. 2021-03-01 08:44:13 -05:00
Robert Tice
fbf23fb9d3 Fixing download for widgets without a explicit specified main. 2021-02-02 13:55:27 -05:00
Robert Tice
9bc15bc35d Fixing merge conflicts for PR. 2021-01-14 10:59:51 -05:00
unknown
988c9a8530 Fixing typo in dev_server.sh 2020-12-16 09:03:12 -06:00
unknown
b5f53bea3d Review of Perspectives chapter 2020-12-14 13:15:33 -06:00
Robert Tice
b1623b1941 Adding name rst field. 2020-11-30 17:10:31 -05:00
Robert Tice
78b810152e Moving custom attributes on DOM elements to data-attributes.
This is to avoid conflicting attributes definitions. This also
allows us to store data better in the widget. The switches
attribute is stored as straight json now.
2020-11-13 15:35:39 -05:00
Robert Tice
b18c70c3b2 Merge pull request #425 from AdaCore/spark_switches
Support for switch specification from rst.
2020-10-05 11:46:36 -04:00
Robert Tice
e4b2108415 Adding bach script to bring up and down backend processes. 2020-10-02 11:39:05 -04:00
Robert Tice
6599bf579b Support for switch specification from rst.
Syntax looks like:
`switches=Builder(-switch1,-switch2);Compiler(-switch3,-switch4)`

Specified switches are checked against a known allowed list in the
backend. See backend/app/widget/file.py:ProjectFile.allowed_switches
for details.
2020-09-25 09:56:54 -04:00
Robert Tice
43ff84256a Clean of Vagrantfile.
Removing bootstrap scripts in favor of inline scripts in Vagrantfile.
Factor common vagrant settings out from vagrant targets in config.
Cleanup of provision scripts to remove duplication.
2020-06-04 10:34:04 -04:00
gusthoff
300f0b8d9c Updating Dockerfile to use GNAT Community 2020 2020-05-29 21:36:31 +02:00
Robert Tice
267e2466d9 Increasing container memory cap to 256 after seeing gprbuild use more than 32MB for small-ish compilations. 2020-05-08 11:46:40 -04:00
Robert Tice
f2729eed7a Skipping string replacement when lab data is being sent over reporter. 2020-05-08 10:41:23 -04:00
Robert Tice
a3c9e04bb4 Merge pull request #343 from AdaCore/issues/236
Fixing Issues/236
2020-05-01 09:01:41 -04:00