Skip to content
This repository has been archived by the owner on Aug 20, 2022. It is now read-only.

set BUILD_CIL=ON #181

Closed
KrisThielemans opened this issue May 8, 2021 · 4 comments
Closed

set BUILD_CIL=ON #181

KrisThielemans opened this issue May 8, 2021 · 4 comments
Assignees
@paskino
Milestone
v3.1

Comments

@KrisThielemans
Copy link
Member

I think we said to do this at 3.1, but up to @paskino
@KrisThielemans KrisThielemans added this to the v3.1 milestone May 8, 2021
@KrisThielemans
Copy link
Member Author

@paskino, can you please check if this is needed for the training school?

@KrisThielemans KrisThielemans modified the milestones: v3.2, v3.1 Jun 3, 2021
@KrisThielemans KrisThielemans mentioned this issue Jun 16, 2021
Closed
@KrisThielemans
Copy link
Member Author

Presumably this needs resolving #187, #188, #189

@paskino
Copy link
Contributor

paskino commented Jun 25, 2021

I believe that the best strategy is to continue building CIL_LITE and use update_VM_to_full_CIL.sh to achieve the result wanted, see #195

@KrisThielemans
Copy link
Member Author

great idea. We just need to put this in our school instructions then.

paskino added a commit that referenced this issue Jun 25, 2021
@paskino
Build full cil (#195)
09dbbc4 
closes #192 
closes #181
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@paskino paskino

Labels
None yet
Projects
None yet
Milestone
v3.1
Development

No branches or pull requests
2 participants
@KrisThielemans @paskino