将GCC链接到外部库？

Question

我正在尝试使用C语言中课程模块提供的库。

我已经安装了以下软件：

• MinGW32-基本
• 可视代码

Hello.c

#include <stdio.h>
#include "libcs1010/include/cs1010.h"
int main()
{
   // library method
   cs1010_print_double(10);
   printf("Hello, World!");
   return 0;
}

错误

undefined reference to `cs1010_print_double'
collect2.exe: error: ld returned 1 exit status

目录结构：

└───hello.c
└───libcs1010
    ├───include
    |     └───cs1010.h
    ├───lib
    |     └───libcs1010.a
    └───src
          └───cs1010.c

如何运行GCC，以便可以链接到 libcs​​1010.a 文件？