diff options
| author | Bruno Cesar Ribas <brunoribas@gmail.com> | 2018-08-22 18:21:47 +0000 |
|---|---|---|
| committer | Bruno Cesar Ribas <brunoribas@gmail.com> | 2018-08-22 18:21:47 +0000 |
| commit | efa3a56d8f745c574ce66ddec52ea02fc2c64684 (patch) | |
| tree | 5506b2d2c01f04dd0d9b8a9fb83e28e51565250a /debian/rules | |
| parent | 3195e008a2ce7e0fa92766bb8cefdd182b98df9e (diff) | |
| download | boca-efa3a56d8f745c574ce66ddec52ea02fc2c64684.tar.gz boca-efa3a56d8f745c574ce66ddec52ea02fc2c64684.zip | |
d/rules: Add bocadb and boca-common files
Signed-off-by: Bruno Cesar Ribas <brunoribas@gmail.com>
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index eedb9d1..3453dd0 100755 --- a/debian/rules +++ b/debian/rules @@ -7,6 +7,10 @@ override_dh_auto_install: make -j1 install-bocaapache DESTDIR=debian/boca-web mkdir -p debian/boca-autojudge make -j1 install-bocaautojudge DESTDIR=debian/boca-autojudge + mkdir -p debian/boca-db + make -j1 install-bocadb DESTDIR=debian/boca-db + mkdir -p debian/boca-common + make -j1 install-bocacommon DESTDIR=debian/boca-common %: dh $@ |