diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/.gitignore | 1 | ||||
| -rw-r--r-- | build/bootstrap.build | 7 | ||||
| -rw-r--r-- | build/export.build | 6 | ||||
| -rw-r--r-- | build/root.build | 6 |
4 files changed, 0 insertions, 20 deletions
diff --git a/build/.gitignore b/build/.gitignore deleted file mode 100644 index 225c27f..0000000 --- a/build/.gitignore +++ /dev/null @@ -1 +0,0 @@ -config.build diff --git a/build/bootstrap.build b/build/bootstrap.build deleted file mode 100644 index 1941f1a..0000000 --- a/build/bootstrap.build +++ /dev/null @@ -1,7 +0,0 @@ -project = libprint - -using version -using config -using dist -using test -using install diff --git a/build/export.build b/build/export.build deleted file mode 100644 index 4871c4a..0000000 --- a/build/export.build +++ /dev/null @@ -1,6 +0,0 @@ -$out_root/: -{ - include libprint/ -} - -export $out_root/libprint/lib{print} diff --git a/build/root.build b/build/root.build deleted file mode 100644 index 8ceadfa..0000000 --- a/build/root.build +++ /dev/null @@ -1,6 +0,0 @@ -cxx.std = 11 - -using cxx - -hxx{*}: extension = hxx -cxx{*}: extension = cxx |