Commit d51e400
committed
Move build script to Makefile, update circle
The build started failing recently. Not sure why. We don't have any
actual tests on this repo, we just build the image and make sure that
doesn't fail. We can do that via a makefile, to be more consistent with
our other engine repos.
Made a few small tweaks to the Dockerfile to get the build compatible
with Circle's version of Docker. Seems like we can't copy a file into a
dir without including a trailing slash or the full path of the target
file, or it turns the dir into a file.
Discussed a bit here:
https://discuss.circleci.com/t/failed-docker-build-at-a-copy-step-in-dockerfile/5440/41 parent 20219a5 commit d51e400
4 files changed
+14
-21
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
6 | | - | |
| 6 | + | |
7 | 7 | | |
8 | 8 | | |
9 | 9 | | |
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
13 | | - | |
| 13 | + | |
| 14 | + | |
14 | 15 | | |
15 | 16 | | |
16 | 17 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
This file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
8 | 12 | | |
9 | 13 | | |
10 | | - | |
| 14 | + | |
11 | 15 | | |
12 | 16 | | |
13 | 17 | | |
| |||
0 commit comments