source: Deliverables/D6.6/README @ 3238

Last change on this file since 3238 was 3238, checked in by sacerdot, 7 years ago

acc-trusted bumper to version 0.2.

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