#8 Makefile update

Closed
devnexen wants to merge 1 commits from multi_platform into dev
devnexen commented 2 years ago
Collaborator
There is no content yet.
belliash commented 2 years ago
Owner

I think this is minor, until you need this to build PSharp, as we need to completely rewrite the Makefile. After implementing dynamic library support, we will divide the code to modules.

I think this is minor, until you need this to build PSharp, as we need to completely rewrite the Makefile. After implementing dynamic library support, we will divide the code to modules.
belliash closed this pull request 2 years ago
This pull request cannot be reopened because the branch was deleted.
Sign in to join this conversation.
No reviewers
No Milestone
No Assignees
2 Participants
Notifications
Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Loading…
There is no content yet.