Skip to content

Commit

Permalink
Added: systemc.
Browse files Browse the repository at this point in the history
  • Loading branch information
@S1eGa
S1eGa committed Apr 19, 2024
1 parent f8d1319 commit ca25e00
Show file tree
Hide file tree
Showing 3 changed files with 1,357 additions and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,4 +6,4 @@ Tested:
- [x] elevator_spec1_product03.cil.c
- [x] cut-1.c
- [ ] linux-3.8-rc1-32_7a-drivers--media--dvb-frontends--stv090x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c

- [x] systemc
8 changes: 8 additions & 0 deletions systemc/CMakeLists.txt
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,8 @@
project(token_ring.09.cil-2)

set(CMAKE_C_FLAGS "-m32")

set(CMAKE_C_COMPILER clang)
set(CMAKE_CPP_COMPILER clang++)

add_executable(token_ring.09.cil-2 token_ring.09.cil-2.c)
Loading

0 comments on commit ca25e00

Please sign in to comment.