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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: e2b51b5)
Moved v3_cons to being dynamically linked again, added a v3_cons_s not built by defau...
authorPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 20 Jan 2012 18:31:18 +0000 (11:31 -0700)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 20 Jan 2012 18:31:18 +0000 (11:31 -0700)
commit3b3b7134e19273057fcfd0a9e73cc588eb4f7456
tree83cc830c3d428dafda9d6c8f3f5600be02e3a4e3tree | snapshot
parente2b51b5c5dd57b808c68a6b8dd9cb0b2af0b4763commit | diff
Moved v3_cons to being dynamically linked again, added a v3_cons_s not built by default that is statically linked.
linux_usr/Makefile diff | blob | history
Public Palacios Development Repository for the V3VEE Project