| 1 | git clone ssh://cerco.cs.unibo.it/srv/git/pkg-cerco/acc.git |
|---|
| 2 | |
|---|
| 3 | git checkout upstream |
|---|
| 4 | git checkout master |
|---|
| 5 | git-import-orig path-alla-tarpalla |
|---|
| 6 | dch |
|---|
| 7 | git-buildpackage -us -uc |
|---|
| 8 | |
|---|
| 9 | (**********************************************************************) |
|---|
| 10 | |
|---|
| 11 | ========= livecd ============ |
|---|
| 12 | |
|---|
| 13 | http://live.debian.net/manual/3.x/html/live-manual.en.html |
|---|
| 14 | |
|---|
| 15 | (su dev): |
|---|
| 16 | installati: live-build debootstrap initramfs-tools |
|---|
| 17 | |
|---|
| 18 | [seguire istruzioni 8.2.2 e 8.3.1 del manuale] |
|---|
| 19 | nella tmp e come root: |
|---|
| 20 | mkdir livecd |
|---|
| 21 | lb config --apt-options "--yes --force-yes" |
|---|
| 22 | copiare i pacchetti in config/packages.chroot |
|---|
| 23 | config/package-lists/my.list.chroot: virtualbox-guest-dkms virtualbox-guest-x11 gcc |
|---|
| 24 | config/package-lists/desktop.list.chroot: xserver-xorg task-gnome-desktop |
|---|
| 25 | mkdir -p config/includes.chroot/home/user |
|---|
| 26 | copiare il materiale da installare in config/includes.chroot/home/user |
|---|
| 27 | lb build (lanciato da root?) |
|---|
| 28 | |
|---|
| 29 | testare con virtualbox |
|---|
| 30 | |
|---|
| 31 | Nota: al momento funziona su maelstrom (/tmp/livecd) ma fallisce sul |
|---|
| 32 | mio portatile. Perche'??? |
|---|
| 33 | |
|---|
| 34 | ========= pacchetti ========= |
|---|
| 35 | |
|---|
| 36 | Requirements: git-buildpackage |
|---|
| 37 | |
|---|
| 38 | Da fare one-shot: editare debian-control, debian-copyright, debian-changelog |
|---|
| 39 | pulire clean per acc-trusted e verificare se roundtrip funziona |
|---|
| 40 | |
|---|
| 41 | Per aggiornare pacchetto: |
|---|
| 42 | 1) make dist per fare la tarpalla |
|---|
| 43 | 2) git-import-orig path-alla-tarpalla |
|---|
| 44 | 3) dch |
|---|
| 45 | 4) git-buildpackage -us -uc |
|---|
| 46 | |
|---|
| 47 | git clone ssh://cerco.cs.unibo.it/srv/git/pkg-cerco/acc.git |
|---|
| 48 | cd acc/ |
|---|
| 49 | git-buildpackage -us -uc |
|---|
| 50 | cd .. |
|---|
| 51 | sudo dpkg -i acc_0.2-1_amd64.deb |
|---|
| 52 | |
|---|
| 53 | acc -help |
|---|
| 54 | |
|---|
| 55 | git clone ssh://cerco.cs.unibo.it/srv/git/pkg-cerco/frama-c-cost-plugin.git |
|---|
| 56 | cd frama-c-cost-plugin/ |
|---|
| 57 | git-buildpackage -us -uc |
|---|
| 58 | cd .. |
|---|
| 59 | sudo dpkg -i frama-c-cost-plugin_0.1-1_amd64.deb |
|---|
| 60 | |
|---|
| 61 | echo 'int main(){return 0;}' > a.c |
|---|
| 62 | frama-c -cost a.c |
|---|
