[pok-devel] [27] Update scripts

[subversion@xxxxxxxxxxxxx]

Revision: 27
Author:   julien
Date:     2012-02-15 22:07:43 +0100 (Wed, 15 Feb 2012)
Log Message:
-----------
 Update scripts

Modified Paths:
--------------
    trunk/examples/arinc653-threads/model.aadl
    trunk/examples/partitions-threads/model.aadl
    trunk/misc/autobuild-pok.sh

Modified: trunk/examples/arinc653-threads/model.aadl
===================================================================
--- trunk/examples/arinc653-threads/model.aadl	2012-02-08 16:19:40 UTC (rev 26)
+++ trunk/examples/arinc653-threads/model.aadl	2012-02-15 21:07:43 UTC (rev 27)
@@ -58,8 +58,8 @@
       {POK::Criticality => 2;
        Provided_Virtual_Bus_Class => (classifier (test::security_layer.topsecret));};
 properties
-   POK::Architecture => ppc;
-   POK::BSP => prep;
+   POK::Architecture => sparc;
+   POK::BSP => leon3;
    ARINC653::Module_Major_Frame => 1000ms;
    ARINC653::Partition_Slots => (500ms, 500ms);
    ARINC653::Slots_Allocation => (reference (part1), reference (part2));

Modified: trunk/examples/partitions-threads/model.aadl
===================================================================
--- trunk/examples/partitions-threads/model.aadl	2012-02-08 16:19:40 UTC (rev 26)
+++ trunk/examples/partitions-threads/model.aadl	2012-02-15 21:07:43 UTC (rev 27)
@@ -37,10 +37,10 @@
 processor implementation ppc.impl
 subcomponents
    part1 : virtual processor partition.impl;
-   part2 : virtual processor partition.impl {POK::Additional_Features => (libc_stdlib);};
+   part2 : virtual processor partition.impl {POK::Additional_Features => (libc_stdlib, libc_stdio);};
 properties
-   POK::Architecture => x86;
-   POK::BSP => x86_qemu;
+   POK::Architecture => sparc;
+   POK::BSP => leon3;
    POK::Major_Frame => 1000ms;
    POK::Scheduler => static;
    POK::Slots => (500ms, 500ms);

Modified: trunk/misc/autobuild-pok.sh
===================================================================
--- trunk/misc/autobuild-pok.sh	2012-02-08 16:19:40 UTC (rev 26)
+++ trunk/misc/autobuild-pok.sh	2012-02-15 21:07:43 UTC (rev 27)
@@ -9,7 +9,7 @@
 mkdir ${BUILDDIR}
 
 cd ${BUILDDIR}
-svn co http://svn.freebits.fr/pok/trunk . >/dev/null 2>&1
+svn co svn co svn://svn.tuxfamily.org/svnroot/pok/pok . >/dev/null 2>&1
 
 make release
 
@@ -31,6 +31,6 @@
 fi
 
 cd ..
-scp pok-$VERSION.tgz julien@xxxxxxxxxxxxxxxxxxxxx:people/pok/snapshots/
+scp pok-$VERSION.tgz ssh.tuxfamily.org:/home/pok/pok-repository/snapshots/
 
 exit 0