25c5dc8980
Verbose output for SageMath extraction
2021-01-23 14:08:11 -08:00
d7a3e9cb99
Rearrange Makefile
2021-01-23 13:36:15 -08:00
cd2de9c596
New file: doc/infrastructure.md
2021-01-23 12:05:03 -08:00
e68a6b5d56
Remove unneeded ACL
2021-01-23 11:38:20 -08:00
2f463019ab
Add Terraform outputs and fix bucket policy
2021-01-23 11:29:03 -08:00
8d7e538ef7
Install AWS CLI onto prod server
2021-01-23 11:28:57 -08:00
afed8b2764
Customizable compression levels in Makefile
2021-01-23 10:26:36 -08:00
77426f9db0
Get SageMath working with binary distribution
2021-01-23 10:23:05 -08:00
096a9cf008
sudo -E and clean up Depends regexps
2021-01-23 09:49:29 -08:00
1178966cec
Add pwgen to admin image
2021-01-23 09:10:46 -08:00
a256e269bd
Read S3 bucket name from .env for Terraform
2021-01-23 09:10:37 -08:00
469e8cd215
Fix last few languages
2021-01-22 16:55:57 -08:00
5f63e545be
Fix "Invalid encapsulated data" error from Red
2021-01-22 16:49:41 -08:00
2523d8549a
Fix wrong dependency for Red
2021-01-22 16:43:53 -08:00
3aa5b44796
Add missing Java dependency for Omgrofl
2021-01-22 09:23:36 -08:00
59e5e03655
At long last, fix MariaDB tests too
2021-01-21 22:10:05 -08:00
110995dfd9
Fix MySQL tests
2021-01-21 21:01:10 -08:00
aa0239141e
Eliminate unnecessary Make diagnostics
2021-01-21 20:45:48 -08:00
998811d3d4
Get lsp-repl working again
2021-01-18 09:48:42 -08:00
b5267a4243
Fix alias mapping in Express
2021-01-18 09:41:03 -08:00
97b1f05118
Remove sqls from non-SQLite databases
...
I have not been successful at getting it to connect to a UNIX socket.
2021-01-18 09:33:26 -08:00
50d81a4330
Add runtime deps for Limbo
2021-01-18 09:20:38 -08:00
78a46b363d
Fix Java dependency for Kotlin
2021-01-18 08:52:10 -08:00
423672d793
Get sqls working with SQLite
2021-01-17 22:04:00 -08:00
69ef6fab47
Fix Q# finally
2021-01-17 21:39:23 -08:00
4b726443ec
Fix bug in plan-publish.js
2021-01-17 21:39:18 -08:00
36a0a86bd3
Fix dependency error in plan-publish.js
2021-01-17 21:26:51 -08:00
a29329f71c
Install distutils for Hy, fix 'set -e' usage
2021-01-17 21:09:35 -08:00
537f4bda53
Temporarily disable Hack
...
https://github.com/facebook/hhvm/issues/8796
2021-01-17 20:28:49 -08:00
7efeb334ed
Fix typo for Limbo
2021-01-17 17:15:43 -08:00
ece793985f
Fix dependencies & newline for Entropy
2021-01-17 16:24:48 -08:00
a16309cf30
Finally track down horrendous Limbo error
2021-01-17 16:05:41 -08:00
d8bc476260
Fix Promise { <pending> }
2021-01-17 16:05:34 -08:00
bb924ca926
Optimize language build order
2021-01-17 15:18:41 -08:00
ce72de4f6f
Fix Curry build & run
2021-01-17 15:18:27 -08:00
b2f20154a4
Write trailing newlines again
2021-01-17 14:19:44 -08:00
96b26fa5c4
Seemingly the Cmd skel code is broken?
2021-01-17 14:16:17 -08:00
8a662d5dbe
s/pstree/psmisc/
2021-01-17 14:00:47 -08:00
fa97f045dc
Install pstree, 'make all-scripts' executable
2021-01-17 13:47:21 -08:00
d700ddbb67
Actually pass environment variables to shells
2021-01-17 13:37:49 -08:00
33edf76b93
Write all build scripts at once
2021-01-17 13:34:58 -08:00
5ef6c0ff51
Set test patience and concurrency for CI
2021-01-17 13:18:39 -08:00
d9e7f6d378
Fix ENTRYPOINT for admin, ci images
2021-01-17 12:17:26 -08:00
ccc39b9c8f
Make eC work
2021-01-17 12:14:17 -08:00
4e032aaecb
Deal with some DNS garbage
...
Apparently, my laptop was using 75.75.75.75 from Comcast as one of its
DNS servers, and unfortunately that server was totally broken (dig
@75.75.75.75 never returned results). I had to edit
/etc/systemd/resolved.conf to override DNS=8.8.8.8, then things worked
again. How DNS resolution worked at all outside of Docker was unclear
to me, but overriding 75.75.75.75 makes it work inside as well (when
not operating in --network=host mode).
2021-01-17 11:56:57 -08:00
0c9c5707ea
Use format strings
2021-01-16 10:03:49 -08:00
e848cc2792
Install shared deps into composite image
2021-01-16 09:56:59 -08:00
471f18e567
Install shared deps for tests
2021-01-16 09:55:19 -08:00
646eda0bbf
Fix curry build
2021-01-14 21:56:22 -08:00
7d780661db
New solution that works on the free tier
...
Let's just require some languages to be built and published locally.
Easy enough.
2021-01-14 21:56:22 -08:00
Radon Rosborough