Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


minor changes to allow proper static linking of the ncurses programs
Patrick G. Bridges [Tue, 17 Jan 2012 17:54:07 +0000 (10:54 -0700)]
linux_usr/Makefile

index 5bdf906..8c5109c 100644 (file)
@@ -20,8 +20,8 @@ v3_mem : v3_mem.c v3_ctrl.h
        gcc -static v3_mem.c -o v3_mem 
 
 v3_cons : v3_cons.c v3_cons_sc.c v3_ctrl.h
-       gcc  -static v3_cons.c -o v3_cons -lcurses
-       gcc  -static v3_cons_sc.c -o v3_cons_sc -lcurses
+       gcc  -static -DNCURSES_STATIC v3_cons.c -o v3_cons -lcurses
+       gcc  -static -DNCURSES_STATIC v3_cons_sc.c -o v3_cons_sc -lcurses
 
 v3_stream : v3_stream.c v3_ctrl.h
        gcc -static v3_stream.c -o v3_stream