added: debian (ubuntu) packaging

This commit is contained in:
Arne Morten Kvarving
2013-04-10 11:01:51 +02:00
parent 00db8ea130
commit 61614b9c3c
14 changed files with 454 additions and 0 deletions

4
debian/patches/series vendored Normal file
View File

@@ -0,0 +1,4 @@
01_use_system_ert.patch
02_install_docdir.patch
03_remove_internal_header_include.patch
04_ert_api_changes.patch