@@ -77,7 +77,7 @@ rv_set_val(uint16 *addr, uint32 val)
*addr = (val & 0xffff);
*(addr + 1) = (val >> 16);
- asm volatile("fence.i");
+ __asm__ volatile("fence.i");
}
/* Add a val to given address */
@@ -153,7 +153,7 @@ get_target_symbol_map(uint32 *sym_num)
void
get_current_target(char *target_buf, uint32 target_buf_size)
{
- const char * s = BUILD_TARGET;
+ const char *s = BUILD_TARGET;
size_t s_size = sizeof(BUILD_TARGET);
char *d = target_buf;
@@ -0,0 +1,5 @@
+name: wasm-micro-runtime
+
+build:
+ cmake-ext: True
+ kconfig-ext: True