Use the Makefile in CI

Author: hsyl20

.github/workflows/ci.yml

@@ -32,20 +32,10 @@ jobs:
         cabal-version: "latest"
         cabal-update: true
 
-    - name: Install Alex and Happy
-      run: |
-        cabal install alex
-        cabal install happy
-
     - name: Configure the build
       run: |
         ./boot
-        ./configure
-
-    - name: Build Hadrian
-      run: |
-        ./hadrian/build --version
 
     - name: Build the bindist
       run: |
-        ./hadrian/build --flavour=release -j binary-dist-dir --docs=none
+        make