OLD | NEW |
1 #!/bin/sh | 1 #!/bin/sh |
2 # Copyright (c) 2016, the Dartino project authors. Please see the AUTHORS file | 2 # Copyright (c) 2016, the Dartino project authors. Please see the AUTHORS file |
3 # for details. All rights reserved. Use of this source code is governed by a | 3 # for details. All rights reserved. Use of this source code is governed by a |
4 # BSD-style license that can be found in the LICENSE.md file. | 4 # BSD-style license that can be found in the LICENSE.md file. |
5 | 5 |
6 # Temporary script for testing the page allocator. | 6 # Temporary script for testing the page allocator. |
7 rm a.out | 7 rm a.out |
8 | 8 |
9 set -e | 9 set -e |
10 | 10 |
11 g++ \ | 11 g++ \ |
12 -g \ | 12 -g \ |
13 -Og \ | 13 -Og \ |
14 -I. \ | 14 -I. \ |
15 -DFLETCH_TARGET_OS_POSIX \ | 15 -DDARTINO_TARGET_OS_POSIX \ |
16 --std=gnu++11 \ | 16 --std=gnu++11 \ |
17 platforms/stm/disco_fletch/src/page_allocator_test.cc \ | 17 platforms/stm/disco_dartino/src/page_allocator_test.cc \ |
18 platforms/stm/disco_fletch/src/page_allocator.cc \ | 18 platforms/stm/disco_dartino/src/page_allocator.cc \ |
19 src/shared/assert.cc \ | 19 src/shared/assert.cc \ |
20 src/shared/platform_posix.cc src/shared/platform_linux.cc \ | 20 src/shared/platform_posix.cc src/shared/platform_linux.cc \ |
21 src/shared/utils.cc | 21 src/shared/utils.cc |
22 | 22 |
23 ./a.out | 23 ./a.out |
OLD | NEW |