set up files for pypi

Author: Anthony Yang

.gitignore

@@ -10,3 +10,8 @@ src/harmony/buildversion
 *.htm
 *.hvm
 *.dump
+.idea
+.vscode
+build
+
+*.egg-info

MANIFEST.in

@@ -0,0 +1,4 @@
+include charm.c
+include harmony
+include harmony.bat
+include charm.Windows.exe

Makefile

@@ -1,5 +1,5 @@
 all:
-	java -jar ~/antlr4/antlr-4.9.2-complete.jar -Dlanguage=Python3 -visitor Harmony.g4 -no-listener
+	java -jar ~/antlr4/antlr-4.9.2-complete.jar -Dlanguage=Python3 -o harmony_model_checker -visitor Harmony.g4 -no-listener
 	(cd src/harmony; sh gen.scr) > harmony.py
 	(cd src/charm; sh gen.scr) > charm.c
 	gcc -g -std=c99 charm.c -m64 -o charm.exe -lpthread

HarmonyLexer.py harmony_model_checker/HarmonyLexer.py

@@ -8,13 +8,13 @@
 import sys
 import argparse
 
-from harmony import Code, Scope, FrameOp, ReturnOp, optimize, dumpCode, Brief, GenHTML, namestack, PushOp, \
+from .harmony import Code, Scope, FrameOp, ReturnOp, optimize, dumpCode, Brief, GenHTML, namestack, PushOp, \
     StoreOp, novalue, imported, files, HarmonyCompilerError, State, ContextValue, constants, modules, run, htmldump
-from HarmonyParser import HarmonyParser
-from src.compiler.parser.HarmonyParserErrorListener import HarmonyParserErrorListener
-from src.compiler.parser.HarmonyTokenStream import HarmonyTokenStream
-from HarmonyLexer import HarmonyLexer
-from src.compiler.visitor import HarmonyVisitorImpl
+from harmony_model_checker.HarmonyParser import HarmonyParser
+from harmony_model_checker.compiler.parser.HarmonyParserErrorListener import HarmonyParserErrorListener
+from harmony_model_checker.compiler.parser.HarmonyTokenStream import HarmonyTokenStream
+from harmony_model_checker.HarmonyLexer import HarmonyLexer
+from harmony_model_checker.compiler.visitor import HarmonyVisitorImpl
 
 
 def build_parser(progam_input):
@@ -86,7 +86,7 @@ def do_import(scope, code, module):
 
         found = False
         install_path = os.path.dirname(os.path.realpath(__file__))
-        for directory in [os.path.dirname(namestack[-1]), os.path.join(install_path, "modules"), "."]:
+        for directory in [os.path.dirname(namestack[-1]), os.path.join(install_path, "../modules"), "."]:
             filename = os.path.join(directory, modname + ".hny")
             if os.path.exists(filename):
                 load_file(filename, scope2, code)
@@ -265,7 +265,7 @@ def main():
     # see if there is a configuration file
     if charm_flag:
         # see if there is a configuration file
-        outfile = os.path.join(install_path, "charm.exe")
+        outfile = os.path.join(install_path, "../charm.exe")
         with open(hvm_file, "w") as fd:
             dumpCode("json", code, scope, f=fd)
         r = os.system("%s %s %s" % (outfile, " ".join(charm_options), hvm_file))

HarmonyParser.py harmony_model_checker/HarmonyParser.py

@@ -1,10 +1,9 @@
 
 from antlr4.Token import CommonToken
 
-from HarmonyVisitor import HarmonyVisitor
-from HarmonyParser import HarmonyParser
-from typing import Any
-from harmony import *
+from harmony_model_checker.HarmonyVisitor import HarmonyVisitor
+from harmony_model_checker.HarmonyParser import HarmonyParser
+from harmony_model_checker.harmony import *
 import math
 
 

HarmonyVisitor.py harmony_model_checker/HarmonyVisitor.py

@@ -33,7 +33,7 @@
 """
 
 version = [
-1,2, 102
+1,2, 105
 
 ]
 

app.py harmony_model_checker/app.py

@@ -0,0 +1,4 @@
+[build-system]
+requires = ["setuptools", "wheel"]
+build-backend = "setuptools.build_meta"
+

src/compiler/exception.py harmony_model_checker/compiler/exception.py

@@ -0,0 +1,7 @@
+[build-system]
+requires = ["setuptools", "wheel"]
+build-backend = "setuptools.build_meta"
+
+[options.entry_points]
+console_scripts =
+    harmony = harmony_model_checker:app.main

src/compiler/parser/HarmonyParserErrorListener.py harmony_model_checker/compiler/parser/HarmonyParserErrorListener.py

@@ -1,29 +1,45 @@
 import os
-from distutils.core import setup
 
-requires = [
-    "numpy",
-    "matplotlib",
-    "antlrdenter",
-    "antlr4python3runtime",
-    "automatalib"
-]
+from setuptools import setup
+from setuptools.command.develop import develop
+from setuptools.command.install import install
+import subprocess
+
+
+def compile_charm():
+    subprocess.call([
+        "gcc", "-g", "-std=c99", "charm.c",
+        "-m64", "-o", "charm.exe", "-lpthread"
+    ])
+
+
+class PostDevelopCommand(develop):
+    """Post-installation for development mode."""
+    def run(self):
+        develop.run(self)
+        compile_charm()
+
+
+class PostInstallCommand(install):
+    def run(self):
+        install.run(self)
+        compile_charm()
 
-modules_files = [os.path.join("modules", f) for f in os.listdir("modules")]
-code_files = [os.path.join("code", f) for f in os.listdir("code")]
 
 setup(
-    name='harmony',
-    version='1.2',
-    url='https://harmony.cs.cornell.edu/',
-    author='Robbert van Renesse',
-    author_email='[email protected]',
-    description='The Harmony programming language',
-    long_description=open('README.txt').read(),
-    requires=requires,
-    packages=["harmony_lib"],
-    data_files=[
-        ("modules", modules_files),
-        ("code", code_files)
-    ]
+    name="harmony_model_checker",
+    version="1.2.0",
+    packages=["harmony_model_checker"],
+    install_requires=[
+        "numpy",
+        "matplotlib",
+        "antlr-denter",
+        "antlr4-python3-runtime",
+        "automata-lib"
+    ],
+    include_package_data=False,
+    cmdclass={
+        'develop': PostDevelopCommand,
+        'install': PostInstallCommand
+    }
 )