git clone ssh://cerco.cs.unibo.it/srv/git/pkg-cerco/acc.git

git checkout upstream
git checkout master
git-import-orig path-alla-tarpalla
dch
git-buildpackage -us -uc

(**********************************************************************)

========= livecd ============

http://live.debian.net/manual/3.x/html/live-manual.en.html

(su dev):
installati: live-build debootstrap initramfs-tools

[seguire istruzioni 8.2.2 e 8.3.1 del manuale]
nella tmp e come root:
  mkdir livecd
  lb config --apt-options "--yes --force-yes"
  copiare i pacchetti in config/packages.chroot
  config/package-lists/my.list.chroot: virtualbox-guest-dkms virtualbox-guest-x11 gcc
  config/package-lists/desktop.list.chroot: xserver-xorg task-gnome-desktop
  mkdir -p config/includes.chroot/home/user
  copiare il materiale da installare in config/includes.chroot/home/user
  lb build (lanciato da root?)

testare con virtualbox

Nota: al momento funziona su maelstrom (/tmp/livecd) ma fallisce sul
mio portatile. Perche'???

========= pacchetti =========

Requirements: git-buildpackage

Da fare one-shot: editare debian-control, debian-copyright, debian-changelog
 pulire clean per acc-trusted e verificare se roundtrip funziona

Per aggiornare pacchetto:
  1) make dist per fare la tarpalla
  2) git-import-orig path-alla-tarpalla
  3) dch
  4) git-buildpackage -us -uc

  git clone ssh://cerco.cs.unibo.it/srv/git/pkg-cerco/acc.git
  cd acc/
  git-buildpackage -us -uc
  cd ..
  sudo dpkg -i acc_0.2-1_amd64.deb

  acc -help

  git clone ssh://cerco.cs.unibo.it/srv/git/pkg-cerco/frama-c-cost-plugin.git
  cd frama-c-cost-plugin/
  git-buildpackage -us -uc
  cd ..
  sudo dpkg -i frama-c-cost-plugin_0.1-1_amd64.deb

  echo 'int main(){return 0;}' > a.c
  frama-c -cost a.c